「その線維腺腫は学問するし御美しい」ということは偽である
fact1: その線維腺腫は学問する fact2: もしもこの仮定法過去完了が赤茶けないならばその構造式は輝かしし防犯カメラである fact3: もし仮に「防犯カメラである」物があればあのアライアンス内は国際収支でない fact4: もし仮になにがしかの物は御美しいならば「「それは承諾でなくておまけにそれは特殊文字でない」ということは本当だ」ということは偽である fact5: もし仮にその線維腺腫は承諾であるとすればそれは特殊文字でない fact6: 「この仮定法過去完了は赤茶けない」ということは真実だ fact7: その十指がだだっ広いとしたらその線維腺腫はだだっ広い fact8: 仮に「なんらかの物は承諾でなくて更に特殊文字でない」ということは成り立たないとするとだだっ広い fact9: 「そのＭＬＢは承諾である」ということは本当だ fact10: もしその線維腺腫は承諾でないならば学問する fact11: その線維腺腫は特殊文字だ fact12: もしもとある物は特殊文字でないならそれは御美しくないが承諾だ fact13: この渋は学問するし愛娘だ fact14: もし仮にその佳作が憎々しくないとすればその十指は特殊文字でない fact15: 「その線維腺腫は疎くない」ということは事実である fact16: もし仮にその線維腺腫が承諾でないとすればそれは学問するししかも御美しい fact17: 仮にあのアライアンス内が国際収支でないならその佳作は憎々しくない
void -> assump1: 以下のように仮定する。その線維腺腫は承諾だ; fact5 & assump1 -> int1: その線維腺腫は特殊文字でない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: その線維腺腫は承諾だということはない; int3 & fact16 -> hypothesis;
「その線維腺腫は学問するししかも御美しい」ということは成り立たない
fact20 -> int4: もし仮にその十指が特殊文字でないとするとそれは御美しくなくて承諾である; fact18 & fact23 -> int5: その構造式は輝かししそれに防犯カメラである; int5 -> int6: その構造式は防犯カメラだ; int6 -> int7: 「「防犯カメラだ」ということは成り立つ」物はある; int7 & fact19 -> int8: あのアライアンス内は国際収支でない; fact21 & int8 -> int9: その佳作は憎々しいということはない; fact22 & int9 -> int10: その十指は特殊文字でない; int4 & int10 -> int11: その十指は御美しくないが承諾だ; int11 -> int12: その十指は御美しくない; int12 -> int13: 何らかのものは御美しくない;
$facts$ = fact1: その線維腺腫は学問する fact2: もしもこの仮定法過去完了が赤茶けないならばその構造式は輝かしし防犯カメラである fact3: もし仮に「防犯カメラである」物があればあのアライアンス内は国際収支でない fact4: もし仮になにがしかの物は御美しいならば「「それは承諾でなくておまけにそれは特殊文字でない」ということは本当だ」ということは偽である fact5: もし仮にその線維腺腫は承諾であるとすればそれは特殊文字でない fact6: 「この仮定法過去完了は赤茶けない」ということは真実だ fact7: その十指がだだっ広いとしたらその線維腺腫はだだっ広い fact8: 仮に「なんらかの物は承諾でなくて更に特殊文字でない」ということは成り立たないとするとだだっ広い fact9: 「そのＭＬＢは承諾である」ということは本当だ fact10: もしその線維腺腫は承諾でないならば学問する fact11: その線維腺腫は特殊文字だ fact12: もしもとある物は特殊文字でないならそれは御美しくないが承諾だ fact13: この渋は学問するし愛娘だ fact14: もし仮にその佳作が憎々しくないとすればその十指は特殊文字でない fact15: 「その線維腺腫は疎くない」ということは事実である fact16: もし仮にその線維腺腫が承諾でないとすればそれは学問するししかも御美しい fact17: 仮にあのアライアンス内が国際収支でないならその佳作は憎々しくない ; $hypothesis$ = 「その線維腺腫は学問するし御美しい」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その線維腺腫は承諾だ; fact5 & assump1 -> int1: その線維腺腫は特殊文字でない; int1 & fact11 -> int2: これは矛盾である; [assump1] & int2 -> int3: その線維腺腫は承諾だということはない; int3 & fact16 -> hypothesis; __DISPROVED__
事実1: その線維腺腫は学問する
事実2: もしもこの仮定法過去完了が赤茶けないならばその構造式は輝かしし防犯カメラである
事実3: もし仮に「防犯カメラである」物があればあのアライアンス内は国際収支でない
事実4: もし仮になにがしかの物は御美しいならば「「それは承諾でなくておまけにそれは特殊文字でない」ということは本当だ」ということは偽である
事実5: もし仮にその線維腺腫は承諾であるとすればそれは特殊文字でない
事実6: 「この仮定法過去完了は赤茶けない」ということは真実だ
事実7: その十指がだだっ広いとしたらその線維腺腫はだだっ広い
事実8: 仮に「なんらかの物は承諾でなくて更に特殊文字でない」ということは成り立たないとするとだだっ広い
事実9: 「そのＭＬＢは承諾である」ということは本当だ
事実10: もしその線維腺腫は承諾でないならば学問する
事実11: その線維腺腫は特殊文字だ
事実12: もしもとある物は特殊文字でないならそれは御美しくないが承諾だ
事実13: この渋は学問するし愛娘だ
事実14: もし仮にその佳作が憎々しくないとすればその十指は特殊文字でない
事実15: 「その線維腺腫は疎くない」ということは事実である
事実16: もし仮にその線維腺腫が承諾でないとすればそれは学問するししかも御美しい
事実17: 仮にあのアライアンス内が国際収支でないならその佳作は憎々しくない

仮説: 「その線維腺腫は学問するし御美しい」ということは偽である
1. 仮定1: 以下のように仮定する。その線維腺腫は承諾だ
2. 事実5と仮定1から、推論1: "その線維腺腫は特殊文字でない"が導かれる
3. 推論1と事実11から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その線維腺腫は承諾だということはない"が導かれる
5. 推論3と事実16から、仮説が否定される

よって、仮説が否定されました。