「あのもゆもよLv.14は御詳しくない」ということは本当だ
fact1: 「あのもゆもよLv.14は取り掛かり易いしかつ話し辛い」ということは間違いだ fact2: あのぷなぷよLv.9は茶色い fact3: 仮にあのぷなぷよLv.9はおどろおどろしいなら「あのもゆもよLv.14は御詳しい」ということは事実である fact4: もしもあるモンスターは茶色いとすれば「それは目するけど取り掛かり易くない」ということは成り立たない fact5: もし仮にあのぷなぷよLv.9が鑑別するとすればおどろおどろしい fact6: もし仮に「あのぷなぷよLv.9は目するがしかし取り掛かり易くない」ということは成り立つということはないとしたらそれは鑑別する
fact4 -> int1: もし仮にあのぷなぷよLv.9は茶色いなら「あのぷなぷよLv.9は目するが取り掛かり易くない」ということは事実と異なる; int1 & fact2 -> int2: 「あのぷなぷよLv.9は目するがしかし取り掛かり易くない」ということは成り立たない; int2 & fact6 -> int3: あのぷなぷよLv.9は鑑別する; int3 & fact5 -> int4: あのぷなぷよLv.9はおどろおどろしい; int4 & fact3 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact6 -> int3: {B}{aa}; int3 & fact5 -> int4: {C}{aa}; int4 & fact3 -> hypothesis;
$facts$ = fact1: 「あのもゆもよLv.14は取り掛かり易いしかつ話し辛い」ということは間違いだ fact2: あのぷなぷよLv.9は茶色い fact3: 仮にあのぷなぷよLv.9はおどろおどろしいなら「あのもゆもよLv.14は御詳しい」ということは事実である fact4: もしもあるモンスターは茶色いとすれば「それは目するけど取り掛かり易くない」ということは成り立たない fact5: もし仮にあのぷなぷよLv.9が鑑別するとすればおどろおどろしい fact6: もし仮に「あのぷなぷよLv.9は目するがしかし取り掛かり易くない」ということは成り立つということはないとしたらそれは鑑別する ; $hypothesis$ = 「あのもゆもよLv.14は御詳しくない」ということは本当だ ; $proof$ = 
fact4 -> int1: もし仮にあのぷなぷよLv.9は茶色いなら「あのぷなぷよLv.9は目するが取り掛かり易くない」ということは事実と異なる; int1 & fact2 -> int2: 「あのぷなぷよLv.9は目するがしかし取り掛かり易くない」ということは成り立たない; int2 & fact6 -> int3: あのぷなぷよLv.9は鑑別する; int3 & fact5 -> int4: あのぷなぷよLv.9はおどろおどろしい; int4 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact6 -> int3: {B}{aa}; int3 & fact5 -> int4: {C}{aa}; int4 & fact3 -> hypothesis; __DISPROVED__