11/06/18 16:48:04.21 O
『かわいいは正義』より
｛∃（かわいい∧作れる）｝→｛∃（正義∧作れる）｝
『かわいいは作れる』より
∃（かわいい∧作れる）
したがって、「正義であり、なおかつ作れるもの」が存在するため
正義は作れる
11/06/18 16:48:04.21 O
『かわいいは正義』より
｛∃（かわいい∧作れる）｝→｛∃（正義∧作れる）｝
『かわいいは作れる』より
∃（かわいい∧作れる）
したがって、「正義であり、なおかつ作れるもの」が存在するため
正義は作れる
11/06/18 16:48:04.21 O
『かわいいは正義』より
｛∃（かわいい∧作れる）｝→｛∃（正義∧作れる）｝
『かわいいは作れる』より
∃（かわいい∧作れる）
したがって、「正義であり、なおかつ作れるもの」が存在するため
正義は作れる