このぴゆぴよLv.97は燃焼しないかもしくは限り無しということはないかまたはどちらもだ
fact1: 仮にこのみなみいLv.61は違いとしたら「このぴゆぴよLv.97は燃焼しないか限り無しないかあるいは両方だ」ということは誤っている fact2: 底深いモンスターは燃焼しないか限り無しないかまたは両方である fact3: 何らかのモンスターがフランス人らしくないとするとみっともなくてそれに航走する fact4: もしこのまやまくLv.70が底深いとするとそれはみっともない fact5: このまやまくLv.70は底深い fact6: このみなみいLv.61がフランス人らしいとすればこのみなみいLv.61は違い fact7: このぴゆぴよLv.97は燃焼する fact8: なんらかのモンスターがみっともないとしたら底深い fact9: もしも「このまやまくLv.70は航走する」ということは事実であるならこのみなみいLv.61はフランス人らしい fact10: もし仮に「このまやまくLv.70はみっともない」ということは本当だとすればこのまやまくLv.70は航走する
fact4 & fact5 -> int1: このまやまくLv.70はみっともない; int1 & fact10 -> int2: このまやまくLv.70は航走する; int2 & fact9 -> int3: このみなみいLv.61はフランス人らしい; int3 & fact6 -> int4: このみなみいLv.61は違い; int4 & fact1 -> hypothesis;
fact4 & fact5 -> int1: {B}{a}; int1 & fact10 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{b}; int3 & fact6 -> int4: {E}{b}; int4 & fact1 -> hypothesis;
このぴゆぴよLv.97は燃焼しないかもしくは限り無しということはないかまたはどちらもだ
fact12 -> int5: もしこのぴゆぴよLv.97が底深いとしたら燃焼しないかまたは限り無しないか両方である; fact11 -> int6: もしもこのぴゆぴよLv.97がみっともないとしたら底深い; fact13 -> int7: このぴゆぴよLv.97がフランス人らしくないならばこのぴゆぴよLv.97はみっともなくて航走する;
$facts$ = fact1: 仮にこのみなみいLv.61は違いとしたら「このぴゆぴよLv.97は燃焼しないか限り無しないかあるいは両方だ」ということは誤っている fact2: 底深いモンスターは燃焼しないか限り無しないかまたは両方である fact3: 何らかのモンスターがフランス人らしくないとするとみっともなくてそれに航走する fact4: もしこのまやまくLv.70が底深いとするとそれはみっともない fact5: このまやまくLv.70は底深い fact6: このみなみいLv.61がフランス人らしいとすればこのみなみいLv.61は違い fact7: このぴゆぴよLv.97は燃焼する fact8: なんらかのモンスターがみっともないとしたら底深い fact9: もしも「このまやまくLv.70は航走する」ということは事実であるならこのみなみいLv.61はフランス人らしい fact10: もし仮に「このまやまくLv.70はみっともない」ということは本当だとすればこのまやまくLv.70は航走する ; $hypothesis$ = このぴゆぴよLv.97は燃焼しないかもしくは限り無しということはないかまたはどちらもだ ; $proof$ = 
fact4 & fact5 -> int1: このまやまくLv.70はみっともない; int1 & fact10 -> int2: このまやまくLv.70は航走する; int2 & fact9 -> int3: このみなみいLv.61はフランス人らしい; int3 & fact6 -> int4: このみなみいLv.61は違い; int4 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {B}{a}; int1 & fact10 -> int2: {C}{a}; int2 & fact9 -> int3: {D}{b}; int3 & fact6 -> int4: {E}{b}; int4 & fact1 -> hypothesis; __DISPROVED__