あのまよまいLv.76は丸くない
fact1: もし仮にこのぷにゃぷのLv.60は切り付けるとすれば「人間っぽい」ということは成り立つ fact2: もし「あのまよまいLv.76は人間っぽい」ということは成り立つとすればあのまよまいLv.76はひょろ長い fact3: このぷにゃぷのLv.60は書き難くてさらにそれは切り付ける fact4: 仮にこのぷにゃぷのLv.60が人間っぽいとすれば丸い fact5: もしこのぷにゃぷのLv.60が丸いとするとあのまよまいLv.76はひょろ長いけれどそれは丸くない fact6: もしもこのぷにゃぷのLv.60が丸いならあのまよまいLv.76はひょろ長い fact7: もし仮になんらかのモンスターは増員すらないならば「ひょろ長いけれど人間っぽくない」ということは嘘だ fact8: もしこのぷにゃぷのLv.60が人間っぽいということはないならあのまよまいLv.76は書き難いしかつそれは切り付ける
fact3 -> int1: このぷにゃぷのLv.60は切り付ける; int1 & fact1 -> int2: このぷにゃぷのLv.60は人間っぽい; int2 & fact4 -> int3: このぷにゃぷのLv.60は丸い; int3 & fact5 -> int4: あのまよまいLv.76はひょろ長い一方でそれは丸くない; int4 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{a}; int3 & fact5 -> int4: ({F}{b} & ¬{D}{b}); int4 -> hypothesis;
あのまよまいLv.76は丸い
fact9 -> int5: 仮にそのもわものLv.82は増員すらないとすれば「それはひょろ長いモンスターであり人間っぽくない」ということは間違っている;
$facts$ = fact1: もし仮にこのぷにゃぷのLv.60は切り付けるとすれば「人間っぽい」ということは成り立つ fact2: もし「あのまよまいLv.76は人間っぽい」ということは成り立つとすればあのまよまいLv.76はひょろ長い fact3: このぷにゃぷのLv.60は書き難くてさらにそれは切り付ける fact4: 仮にこのぷにゃぷのLv.60が人間っぽいとすれば丸い fact5: もしこのぷにゃぷのLv.60が丸いとするとあのまよまいLv.76はひょろ長いけれどそれは丸くない fact6: もしもこのぷにゃぷのLv.60が丸いならあのまよまいLv.76はひょろ長い fact7: もし仮になんらかのモンスターは増員すらないならば「ひょろ長いけれど人間っぽくない」ということは嘘だ fact8: もしこのぷにゃぷのLv.60が人間っぽいということはないならあのまよまいLv.76は書き難いしかつそれは切り付ける ; $hypothesis$ = あのまよまいLv.76は丸くない ; $proof$ = 
fact3 -> int1: このぷにゃぷのLv.60は切り付ける; int1 & fact1 -> int2: このぷにゃぷのLv.60は人間っぽい; int2 & fact4 -> int3: このぷにゃぷのLv.60は丸い; int3 & fact5 -> int4: あのまよまいLv.76はひょろ長い一方でそれは丸くない; int4 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{a}; int3 & fact5 -> int4: ({F}{b} & ¬{D}{b}); int4 -> hypothesis; __PROVED__