「その定住者は長ーい一方でマートでない」ということは間違っている
fact1: もしもそのクローン技術が可愛らしいということはないとするとそれは動かせるかあるいはプロチームであるかもしくは両方ともである fact2: 「「この集計機能は胴巻きだけど可愛らしくない」ということは成り立たない」ということは本当だ fact3: 「その定住者は惨い」ということは真実である fact4: もしも「そのクローン技術は動かせる」ということは本当であるとすればあの定住者は動かせるということはない fact5: その定住者はすりゃ良くないけれど動かせるとしたらそれは長ーい fact6: 仮になにがしかの物が証券取り引き法ならば長ーくないしまたそれは胴巻きでない fact7: もしも「この集計機能は胴巻きだけど可愛らしいということはない」ということは成り立たないならその定住者はマートでない fact8: その定住者はすりゃ良くないしその上それは動かせない fact9: その定住者は動かせない fact10: この集計機能はすりゃ良い fact11: 仮にその無事は取り辛いとしたら「それは証券取り引き法だということはないかまたはそれは酸くないかもしくは両方だ」ということは成り立たない fact12: プロチームは胴巻きでない fact13: もしその定住者が動かせないとしたらこの集計機能は動かせない fact14: 仮に「胴巻きでない」物があるならそのクローン技術は可愛らしくないかまたは長ーくないかまたは両方ともだ fact15: もしその定住者がすりゃ良いということはないし更に動かせないとすればそれは長ーい fact16: そのクローン技術は可愛らしくない fact17: 仮に「この集計機能は可愛らしい」ということは間違いでないとしたらその定住者はマートでない fact18: もし「なにがしかのものは証券取り引き法でないかもしくはそれは酸くない」ということは成り立たないならばプロチームだ fact19: もしも可愛らしくないかもしくは長ーくないか両方ともなものがあるとするとこの集計機能は長ーくない fact20: もし仮にそのクローン技術がプロチームであるとすればあの定住者は動かせるということはない fact21: その無事は取り辛いしそれに美し
fact15 & fact8 -> int1: 「その定住者は長ーい」ということは確かだ; fact7 & fact2 -> int2: その定住者はマートでない; int1 & int2 -> hypothesis;
「その定住者は長ーい一方でマートでない」ということは誤っている
fact25 -> int3: 仮にその無事はプロチームであるとすればそれは胴巻きであるということはない; fact23 -> int4: もし仮に「その無事は証券取り引き法でないかもしくは酸くない」ということは嘘であるならばそれはプロチームである; fact26 -> int5: その無事は取り辛い; fact22 & int5 -> int6: 「「その無事は証券取り引き法でないかもしくは酸くないかまたは両方である」ということは誤りだ」ということは確かだ; int4 & int6 -> int7: その無事はプロチームだ; int3 & int7 -> int8: その無事は胴巻きでない; int8 -> int9: 何らかの物は胴巻きでない; int9 & fact24 -> int10: そのクローン技術は可愛らしいということはないかまたは長ーくないか両方ともだ; int10 -> int11: 「可愛らしくないかもしくは長ーくないかもしくは両方な」物はある; int11 & fact27 -> int12: この集計機能は長ーくない; int12 -> int13: 長ーくない物はある;
$facts$ = fact1: もしもそのクローン技術が可愛らしいということはないとするとそれは動かせるかあるいはプロチームであるかもしくは両方ともである fact2: 「「この集計機能は胴巻きだけど可愛らしくない」ということは成り立たない」ということは本当だ fact3: 「その定住者は惨い」ということは真実である fact4: もしも「そのクローン技術は動かせる」ということは本当であるとすればあの定住者は動かせるということはない fact5: その定住者はすりゃ良くないけれど動かせるとしたらそれは長ーい fact6: 仮になにがしかの物が証券取り引き法ならば長ーくないしまたそれは胴巻きでない fact7: もしも「この集計機能は胴巻きだけど可愛らしいということはない」ということは成り立たないならその定住者はマートでない fact8: その定住者はすりゃ良くないしその上それは動かせない fact9: その定住者は動かせない fact10: この集計機能はすりゃ良い fact11: 仮にその無事は取り辛いとしたら「それは証券取り引き法だということはないかまたはそれは酸くないかもしくは両方だ」ということは成り立たない fact12: プロチームは胴巻きでない fact13: もしその定住者が動かせないとしたらこの集計機能は動かせない fact14: 仮に「胴巻きでない」物があるならそのクローン技術は可愛らしくないかまたは長ーくないかまたは両方ともだ fact15: もしその定住者がすりゃ良いということはないし更に動かせないとすればそれは長ーい fact16: そのクローン技術は可愛らしくない fact17: 仮に「この集計機能は可愛らしい」ということは間違いでないとしたらその定住者はマートでない fact18: もし「なにがしかのものは証券取り引き法でないかもしくはそれは酸くない」ということは成り立たないならばプロチームだ fact19: もしも可愛らしくないかもしくは長ーくないか両方ともなものがあるとするとこの集計機能は長ーくない fact20: もし仮にそのクローン技術がプロチームであるとすればあの定住者は動かせるということはない fact21: その無事は取り辛いしそれに美し ; $hypothesis$ = 「その定住者は長ーい一方でマートでない」ということは間違っている ; $proof$ = 
fact15 & fact8 -> int1: 「その定住者は長ーい」ということは確かだ; fact7 & fact2 -> int2: その定住者はマートでない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもそのクローン技術が可愛らしいということはないとするとそれは動かせるかあるいはプロチームであるかもしくは両方ともである
事実2: 「「この集計機能は胴巻きだけど可愛らしくない」ということは成り立たない」ということは本当だ
事実3: 「その定住者は惨い」ということは真実である
事実4: もしも「そのクローン技術は動かせる」ということは本当であるとすればあの定住者は動かせるということはない
事実5: その定住者はすりゃ良くないけれど動かせるとしたらそれは長ーい
事実6: 仮になにがしかの物が証券取り引き法ならば長ーくないしまたそれは胴巻きでない
事実7: もしも「この集計機能は胴巻きだけど可愛らしいということはない」ということは成り立たないならその定住者はマートでない
事実8: その定住者はすりゃ良くないしその上それは動かせない
事実9: その定住者は動かせない
事実10: この集計機能はすりゃ良い
事実11: 仮にその無事は取り辛いとしたら「それは証券取り引き法だということはないかまたはそれは酸くないかもしくは両方だ」ということは成り立たない
事実12: プロチームは胴巻きでない
事実13: もしその定住者が動かせないとしたらこの集計機能は動かせない
事実14: 仮に「胴巻きでない」物があるならそのクローン技術は可愛らしくないかまたは長ーくないかまたは両方ともだ
事実15: もしその定住者がすりゃ良いということはないし更に動かせないとすればそれは長ーい
事実16: そのクローン技術は可愛らしくない
事実17: 仮に「この集計機能は可愛らしい」ということは間違いでないとしたらその定住者はマートでない
事実18: もし「なにがしかのものは証券取り引き法でないかもしくはそれは酸くない」ということは成り立たないならばプロチームだ
事実19: もしも可愛らしくないかもしくは長ーくないか両方ともなものがあるとするとこの集計機能は長ーくない
事実20: もし仮にそのクローン技術がプロチームであるとすればあの定住者は動かせるということはない
事実21: その無事は取り辛いしそれに美し

仮説: 「その定住者は長ーい一方でマートでない」ということは間違っている
1. 事実15と事実8から、推論1: "「その定住者は長ーい」ということは確かだ"が導かれる
2. 事実7と事実2から、推論2: "その定住者はマートでない"が導かれる
3. 推論1と推論2から、仮説が否定される

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