あのまわまわLv.75は動き易くない
fact1: このぴわぴなLv.82は起こし難い fact2: あのまわまわLv.75は主張し得れば「あのまわまわLv.75は動き易い」ということは本当だ fact3: このぴわぴなLv.82は平ったい fact4: もし仮にそのぴよぴちょLv.18が座るとすればそのもちゃもにょLv.3は平ったくないかまたは動き易くないか両方ともである fact5: 「もし「このぴわぴなLv.82は平ったくない一方で起こし難い」ということは成り立たないならばあのぽゆぽいLv.84は主張し得る」ということは確かである fact6: 平ったいモンスターであり起こし難いモンスターがいるとすればそのもちゃもにょLv.3は座る fact7: 平ったくないかもしくは動き易くないかもしくはどちらもであるモンスターは動き易くない fact8: 仮に「「このぴわぴなLv.82は動き易いかあるいは起こし難い」ということは確かである」ということは成り立たないとするとあのまわまわLv.75は動き易くない fact9: そのもちゃもにょLv.3が座るならあのまわまわLv.75は主張し得る fact10: 「「くどい一方で主張し得るということはない」ということは嘘な」モンスターはいる
fact3 & fact1 -> int1: このぴわぴなLv.82は平ったいしさらに起こし難い; int1 -> int2: 平ったいモンスターで起こし難いモンスターはいる; int2 & fact6 -> int3: そのもちゃもにょLv.3は座る; int3 & fact9 -> int4: あのまわまわLv.75は主張し得る; int4 & fact2 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact6 -> int3: {C}{b}; int3 & fact9 -> int4: {D}{c}; int4 & fact2 -> hypothesis;
あのまわまわLv.75は動き易くない
fact12 -> int5: 「もしそのもちゃもにょLv.3が平ったくないかあるいはそれが動き易くないか両方ともだとすればそのもちゃもにょLv.3は動き易くない」ということは事実だ;
$facts$ = fact1: このぴわぴなLv.82は起こし難い fact2: あのまわまわLv.75は主張し得れば「あのまわまわLv.75は動き易い」ということは本当だ fact3: このぴわぴなLv.82は平ったい fact4: もし仮にそのぴよぴちょLv.18が座るとすればそのもちゃもにょLv.3は平ったくないかまたは動き易くないか両方ともである fact5: 「もし「このぴわぴなLv.82は平ったくない一方で起こし難い」ということは成り立たないならばあのぽゆぽいLv.84は主張し得る」ということは確かである fact6: 平ったいモンスターであり起こし難いモンスターがいるとすればそのもちゃもにょLv.3は座る fact7: 平ったくないかもしくは動き易くないかもしくはどちらもであるモンスターは動き易くない fact8: 仮に「「このぴわぴなLv.82は動き易いかあるいは起こし難い」ということは確かである」ということは成り立たないとするとあのまわまわLv.75は動き易くない fact9: そのもちゃもにょLv.3が座るならあのまわまわLv.75は主張し得る fact10: 「「くどい一方で主張し得るということはない」ということは嘘な」モンスターはいる ; $hypothesis$ = あのまわまわLv.75は動き易くない ; $proof$ = 
fact3 & fact1 -> int1: このぴわぴなLv.82は平ったいしさらに起こし難い; int1 -> int2: 平ったいモンスターで起こし難いモンスターはいる; int2 & fact6 -> int3: そのもちゃもにょLv.3は座る; int3 & fact9 -> int4: あのまわまわLv.75は主張し得る; int4 & fact2 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact6 -> int3: {C}{b}; int3 & fact9 -> int4: {D}{c}; int4 & fact2 -> hypothesis; __DISPROVED__