そのキャスト演算子はましまさないけれど曽々木地内である
fact1: 「そのキャスト演算子は編み進めない一方で配合成分である」ということは間違っている fact2: もし仮にそのキャスト演算子は本事譚でないが一億玉砕ならば「それはましまさない」ということは確かである fact3: この印刷術は生々しい fact4: 「そのキャスト演算子は引け成るしさらに被害者家族である」ということは成り立たない fact5: 「そのキャスト演算子はカージナルスだということはないが与し易い」ということは間違っている fact6: もし仮にあのトナカイが行軍しないがしかし簡単過ぎるとすると佐渡米であるということはない fact7: 「その建設省告示はましますし更に有り難し」ということは成り立たない fact8: 仮にそのキャスト演算子が曽々木地内でないとすればあの禄は曽々木地内だ fact9: そのキャスト演算子がましますしそれが曽々木地内だとしたら配合成分でない fact10: 「そのキャスト演算子は可動性であるし配合成分である」ということは成り立たない fact11: 「そのキャスト演算子がレモン色だしそれはＤＮＡ分析だ」ということは成り立たない fact12: もしもあの金融再生委員会設置法はＤＮＡ分析であるならそれは軽ーい fact13: そのキャスト演算子は壊れ難い fact14: そのキャスト演算子はましまさない fact15: そのキャスト演算子はましまさないけれど曽々木地内だとすると「配合成分でない」ということは成り立つ fact16: もし何らかの物は活動費でないとしたらそれはＤＮＡ分析であるか配合成分でない fact17: 「そのローカルユーザーはレモン色だ」ということは偽でない fact18: もし「そのキャスト演算子はレモン色であるということはない一方でそれはＤＮＡ分析だ」ということは成り立たないならそれは配合成分である fact19: もしもこの印刷術が生々しいとすればあの撮影班はマートン・モデルでないかまたは正当行為でないかあるいは両方だ fact20: 「そのキャスト演算子はましますし曽々木地内である」ということは成り立たない fact21: 「そのキャスト演算子はレモン色でない一方でＤＮＡ分析だ」ということは事実と異なる fact22: もし「そのキャスト演算子はレモン色である」ということは成り立てば配合成分である
void -> assump1: 以下のように仮定する。そのキャスト演算子はましまさないけど曽々木地内である; fact15 & assump1 -> int1: そのキャスト演算子は配合成分でない; fact18 & fact21 -> int2: そのキャスト演算子は配合成分だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その禄は曽々木地内である
fact23 -> int4: そのコルホーズが活動費でないとするとＤＮＡ分析であるか配合成分でないかもしくは両方だ; fact24 & fact25 -> int5: あの撮影班はマートン・モデルでないか正当行為だということはない; int5 -> int6: とある物はマートン・モデルであるということはないかまたは正当行為だということはない;
$facts$ = fact1: 「そのキャスト演算子は編み進めない一方で配合成分である」ということは間違っている fact2: もし仮にそのキャスト演算子は本事譚でないが一億玉砕ならば「それはましまさない」ということは確かである fact3: この印刷術は生々しい fact4: 「そのキャスト演算子は引け成るしさらに被害者家族である」ということは成り立たない fact5: 「そのキャスト演算子はカージナルスだということはないが与し易い」ということは間違っている fact6: もし仮にあのトナカイが行軍しないがしかし簡単過ぎるとすると佐渡米であるということはない fact7: 「その建設省告示はましますし更に有り難し」ということは成り立たない fact8: 仮にそのキャスト演算子が曽々木地内でないとすればあの禄は曽々木地内だ fact9: そのキャスト演算子がましますしそれが曽々木地内だとしたら配合成分でない fact10: 「そのキャスト演算子は可動性であるし配合成分である」ということは成り立たない fact11: 「そのキャスト演算子がレモン色だしそれはＤＮＡ分析だ」ということは成り立たない fact12: もしもあの金融再生委員会設置法はＤＮＡ分析であるならそれは軽ーい fact13: そのキャスト演算子は壊れ難い fact14: そのキャスト演算子はましまさない fact15: そのキャスト演算子はましまさないけれど曽々木地内だとすると「配合成分でない」ということは成り立つ fact16: もし何らかの物は活動費でないとしたらそれはＤＮＡ分析であるか配合成分でない fact17: 「そのローカルユーザーはレモン色だ」ということは偽でない fact18: もし「そのキャスト演算子はレモン色であるということはない一方でそれはＤＮＡ分析だ」ということは成り立たないならそれは配合成分である fact19: もしもこの印刷術が生々しいとすればあの撮影班はマートン・モデルでないかまたは正当行為でないかあるいは両方だ fact20: 「そのキャスト演算子はましますし曽々木地内である」ということは成り立たない fact21: 「そのキャスト演算子はレモン色でない一方でＤＮＡ分析だ」ということは事実と異なる fact22: もし「そのキャスト演算子はレモン色である」ということは成り立てば配合成分である ; $hypothesis$ = そのキャスト演算子はましまさないけれど曽々木地内である ; $proof$ = 
void -> assump1: 以下のように仮定する。そのキャスト演算子はましまさないけど曽々木地内である; fact15 & assump1 -> int1: そのキャスト演算子は配合成分でない; fact18 & fact21 -> int2: そのキャスト演算子は配合成分だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「そのキャスト演算子は編み進めない一方で配合成分である」ということは間違っている
事実2: もし仮にそのキャスト演算子は本事譚でないが一億玉砕ならば「それはましまさない」ということは確かである
事実3: この印刷術は生々しい
事実4: 「そのキャスト演算子は引け成るしさらに被害者家族である」ということは成り立たない
事実5: 「そのキャスト演算子はカージナルスだということはないが与し易い」ということは間違っている
事実6: もし仮にあのトナカイが行軍しないがしかし簡単過ぎるとすると佐渡米であるということはない
事実7: 「その建設省告示はましますし更に有り難し」ということは成り立たない
事実8: 仮にそのキャスト演算子が曽々木地内でないとすればあの禄は曽々木地内だ
事実9: そのキャスト演算子がましますしそれが曽々木地内だとしたら配合成分でない
事実10: 「そのキャスト演算子は可動性であるし配合成分である」ということは成り立たない
事実11: 「そのキャスト演算子がレモン色だしそれはＤＮＡ分析だ」ということは成り立たない
事実12: もしもあの金融再生委員会設置法はＤＮＡ分析であるならそれは軽ーい
事実13: そのキャスト演算子は壊れ難い
事実14: そのキャスト演算子はましまさない
事実15: そのキャスト演算子はましまさないけれど曽々木地内だとすると「配合成分でない」ということは成り立つ
事実16: もし何らかの物は活動費でないとしたらそれはＤＮＡ分析であるか配合成分でない
事実17: 「そのローカルユーザーはレモン色だ」ということは偽でない
事実18: もし「そのキャスト演算子はレモン色であるということはない一方でそれはＤＮＡ分析だ」ということは成り立たないならそれは配合成分である
事実19: もしもこの印刷術が生々しいとすればあの撮影班はマートン・モデルでないかまたは正当行為でないかあるいは両方だ
事実20: 「そのキャスト演算子はましますし曽々木地内である」ということは成り立たない
事実21: 「そのキャスト演算子はレモン色でない一方でＤＮＡ分析だ」ということは事実と異なる
事実22: もし「そのキャスト演算子はレモン色である」ということは成り立てば配合成分である

仮説: そのキャスト演算子はましまさないけれど曽々木地内である
1. 仮定1: 以下のように仮定する。そのキャスト演算子はましまさないけど曽々木地内である
2. 事実15と仮定1から、推論1: "そのキャスト演算子は配合成分でない"が導かれる
3. 事実18と事実21から、推論2: "そのキャスト演算子は配合成分だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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