「そのまちゅまにょLv.72はおっかしいか汗臭いかもしくはどちらもだ」ということは事実と異なる
fact1: 「もしあのものもにLv.25が新しならあのものもにLv.25は日本人らしくないかあるいはブランドらしくないかまたは両方だ」ということは事実と異ならない fact2: あのものもにLv.25は新し fact3: もしあのものもにLv.25は新しないとすれば「「そのまちゅまにょLv.72はおっかしいかもしくは汗臭い」ということは成り立つ」ということは成り立たない fact4: そのぷよぷくLv.59が過ごし易いとすればそのまちゅまにょLv.72は汗臭い fact5: 「もしそのみやみにょLv.40が撓垂れ掛かるならそのぷよぷくLv.59は過ごし易い」ということは正しい fact6: あのものもにLv.25が日本人らしくないかあるいはブランドらしくないかまたはどちらもならばそのみやみにょLv.40は撓垂れ掛かる
fact1 & fact2 -> int1: あのものもにLv.25は日本人らしくないかまたはブランドらしくないかどちらもだ; int1 & fact6 -> int2: そのみやみにょLv.40は撓垂れ掛かる; int2 & fact5 -> int3: そのぷよぷくLv.59は過ごし易い; int3 & fact4 -> int4: そのまちゅまにょLv.72は汗臭い; int4 -> hypothesis;
fact1 & fact2 -> int1: (¬{AA}{a} v ¬{AB}{a}); int1 & fact6 -> int2: {B}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact4 -> int4: {D}{d}; int4 -> hypothesis;
「そのまちゅまにょLv.72はおっかしいか汗臭いかもしくはどちらもだ」ということは事実と異なる
$facts$ = fact1: 「もしあのものもにLv.25が新しならあのものもにLv.25は日本人らしくないかあるいはブランドらしくないかまたは両方だ」ということは事実と異ならない fact2: あのものもにLv.25は新し fact3: もしあのものもにLv.25は新しないとすれば「「そのまちゅまにょLv.72はおっかしいかもしくは汗臭い」ということは成り立つ」ということは成り立たない fact4: そのぷよぷくLv.59が過ごし易いとすればそのまちゅまにょLv.72は汗臭い fact5: 「もしそのみやみにょLv.40が撓垂れ掛かるならそのぷよぷくLv.59は過ごし易い」ということは正しい fact6: あのものもにLv.25が日本人らしくないかあるいはブランドらしくないかまたはどちらもならばそのみやみにょLv.40は撓垂れ掛かる ; $hypothesis$ = 「そのまちゅまにょLv.72はおっかしいか汗臭いかもしくはどちらもだ」ということは事実と異なる ; $proof$ = 
fact1 & fact2 -> int1: あのものもにLv.25は日本人らしくないかまたはブランドらしくないかどちらもだ; int1 & fact6 -> int2: そのみやみにょLv.40は撓垂れ掛かる; int2 & fact5 -> int3: そのぷよぷくLv.59は過ごし易い; int3 & fact4 -> int4: そのまちゅまにょLv.72は汗臭い; int4 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: (¬{AA}{a} v ¬{AB}{a}); int1 & fact6 -> int2: {B}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact4 -> int4: {D}{d}; int4 -> hypothesis; __DISPROVED__