このまなまのLv.14は掃除出来ない
fact1: 仮にそのぴにゃぴちゅLv.34は目敏いとしたら「このまなまのLv.14は掃除出来る」ということは本当だ fact2: そのぷにゃぷにゃLv.76は父親らしくないか探せるということはないかもしくはどちらもだ fact3: 仮にそのぴにゃぴちゅLv.34が掃除出来ないとしたら如此し fact4: 何らかのモンスターは父親らしいということはないかもしくは探せるということはないかどちらもであるならば如此し fact5: そのぴにゃぴちゅLv.34が如何わしくないしかつそれは如此しないならば「それは目敏い」ということは本当だ fact6: もしそのぷにゃぷにゃLv.76が如此しとするとそのぴにゃぴちゅLv.34は如何わしくないしまた如此しということはない
fact4 -> int1: もし仮にそのぷにゃぷにゃLv.76が父親らしいということはないかそれは探せないかまたはどちらもであるとすれば「そのぷにゃぷにゃLv.76は如此し」ということは本当である; int1 & fact2 -> int2: そのぷにゃぷにゃLv.76は如此し; int2 & fact6 -> int3: そのぴにゃぴちゅLv.34は如何わしいということはないし如此しない; int3 & fact5 -> int4: そのぴにゃぴちゅLv.34は目敏い; int4 & fact1 -> hypothesis;
fact4 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact6 -> int3: (¬{C}{a} & ¬{B}{a}); int3 & fact5 -> int4: {A}{a}; int4 & fact1 -> hypothesis;
$facts$ = fact1: 仮にそのぴにゃぴちゅLv.34は目敏いとしたら「このまなまのLv.14は掃除出来る」ということは本当だ fact2: そのぷにゃぷにゃLv.76は父親らしくないか探せるということはないかもしくはどちらもだ fact3: 仮にそのぴにゃぴちゅLv.34が掃除出来ないとしたら如此し fact4: 何らかのモンスターは父親らしいということはないかもしくは探せるということはないかどちらもであるならば如此し fact5: そのぴにゃぴちゅLv.34が如何わしくないしかつそれは如此しないならば「それは目敏い」ということは本当だ fact6: もしそのぷにゃぷにゃLv.76が如此しとするとそのぴにゃぴちゅLv.34は如何わしくないしまた如此しということはない ; $hypothesis$ = このまなまのLv.14は掃除出来ない ; $proof$ = 
fact4 -> int1: もし仮にそのぷにゃぷにゃLv.76が父親らしいということはないかそれは探せないかまたはどちらもであるとすれば「そのぷにゃぷにゃLv.76は如此し」ということは本当である; int1 & fact2 -> int2: そのぷにゃぷにゃLv.76は如此し; int2 & fact6 -> int3: そのぴにゃぴちゅLv.34は如何わしいということはないし如此しない; int3 & fact5 -> int4: そのぴにゃぴちゅLv.34は目敏い; int4 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; int2 & fact6 -> int3: (¬{C}{a} & ¬{B}{a}); int3 & fact5 -> int4: {A}{a}; int4 & fact1 -> hypothesis; __DISPROVED__