あのぷのぷねLv.64は腫れ上がるが賛成し難くない
fact1: 仮にあのぷのぷねLv.64が水っぽいとするとあのぷのぷねLv.64は腫れ上がる fact2: とあるモンスターは卑しかあるいは廃絶するということはない fact3: もし仮にあのぷのぷねLv.64が水っぽいならばそれは腫れ上がるがしかし賛成し難くない fact4: 仮にあるモンスターは卑しならば「それは腫れ上がるけれど賛成し難くない」ということは事実と異なる fact5: 「とあるモンスターは卑しかもしくはそれは廃絶するかまたは両方ともである」ということは本当である fact6: 仮にこのぴにゃぴよLv.7がアメリカらしくないとすればあのぷのぷねLv.64は卑ししまた廃絶する fact7: 「水っぽいか腫れ上がらないかもしくはどちらもである」モンスターはいる fact8: 仮に「卑しかもしくは廃絶しないか両方な」モンスターがいるとするとあのぷのぷねLv.64はアメリカらしい fact9: もしあのぷのぷねLv.64がアメリカらしいとすると水っぽい
fact2 & fact8 -> int1: あのぷのぷねLv.64はアメリカらしい; int1 & fact9 -> int2: あのぷのぷねLv.64は水っぽい; int2 & fact3 -> hypothesis;
fact2 & fact8 -> int1: {C}{a}; int1 & fact9 -> int2: {D}{a}; int2 & fact3 -> hypothesis;
「あのぷのぷねLv.64は腫れ上がるけどそれは賛成し難いということはない」ということは嘘である
fact10 -> int3: 仮にあのぷのぷねLv.64は卑しなら「あのぷのぷねLv.64は腫れ上がるけれどそれは賛成し難いということはない」ということは成り立つということはない;
$facts$ = fact1: 仮にあのぷのぷねLv.64が水っぽいとするとあのぷのぷねLv.64は腫れ上がる fact2: とあるモンスターは卑しかあるいは廃絶するということはない fact3: もし仮にあのぷのぷねLv.64が水っぽいならばそれは腫れ上がるがしかし賛成し難くない fact4: 仮にあるモンスターは卑しならば「それは腫れ上がるけれど賛成し難くない」ということは事実と異なる fact5: 「とあるモンスターは卑しかもしくはそれは廃絶するかまたは両方ともである」ということは本当である fact6: 仮にこのぴにゃぴよLv.7がアメリカらしくないとすればあのぷのぷねLv.64は卑ししまた廃絶する fact7: 「水っぽいか腫れ上がらないかもしくはどちらもである」モンスターはいる fact8: 仮に「卑しかもしくは廃絶しないか両方な」モンスターがいるとするとあのぷのぷねLv.64はアメリカらしい fact9: もしあのぷのぷねLv.64がアメリカらしいとすると水っぽい ; $hypothesis$ = あのぷのぷねLv.64は腫れ上がるが賛成し難くない ; $proof$ = 
fact2 & fact8 -> int1: あのぷのぷねLv.64はアメリカらしい; int1 & fact9 -> int2: あのぷのぷねLv.64は水っぽい; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact8 -> int1: {C}{a}; int1 & fact9 -> int2: {D}{a}; int2 & fact3 -> hypothesis; __PROVED__