「このまちょまいLv.15は恭しくなくておまけにアメリカらしくない」ということは嘘だ
fact1: 仮にこのまちょまいLv.15が手緩くないとしたらそれは恭しくなくて加えてアメリカらしくない fact2: そのみのみにLv.88は良い fact3: もし仮にそのみのみにLv.88が名高くないとするとそのみのみにLv.88はアメリカらしくない fact4: このまちょまいLv.15は恭しくない fact5: もし「齎し易いし良い」モンスターがいるとしたらこのまちょまいLv.15は手緩くない fact6: そのみのみにLv.88は齎し易くて名高い
fact6 -> int1: そのみのみにLv.88は齎し易い; int1 & fact2 -> int2: そのみのみにLv.88は齎し易いし良い; int2 -> int3: なにがしかのモンスターは齎し易くてそれに良い; int3 & fact5 -> int4: このまちょまいLv.15は手緩くない; int4 & fact1 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 -> int3: (Ex): ({A}x & {C}x); int3 & fact5 -> int4: ¬{D}{b}; int4 & fact1 -> hypothesis;
$facts$ = fact1: 仮にこのまちょまいLv.15が手緩くないとしたらそれは恭しくなくて加えてアメリカらしくない fact2: そのみのみにLv.88は良い fact3: もし仮にそのみのみにLv.88が名高くないとするとそのみのみにLv.88はアメリカらしくない fact4: このまちょまいLv.15は恭しくない fact5: もし「齎し易いし良い」モンスターがいるとしたらこのまちょまいLv.15は手緩くない fact6: そのみのみにLv.88は齎し易くて名高い ; $hypothesis$ = 「このまちょまいLv.15は恭しくなくておまけにアメリカらしくない」ということは嘘だ ; $proof$ = 
fact6 -> int1: そのみのみにLv.88は齎し易い; int1 & fact2 -> int2: そのみのみにLv.88は齎し易いし良い; int2 -> int3: なにがしかのモンスターは齎し易くてそれに良い; int3 & fact5 -> int4: このまちょまいLv.15は手緩くない; int4 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; int1 & fact2 -> int2: ({A}{a} & {C}{a}); int2 -> int3: (Ex): ({A}x & {C}x); int3 & fact5 -> int4: ¬{D}{b}; int4 & fact1 -> hypothesis; __DISPROVED__