「この胸肉はマザー工場であるし最盛期だ」ということは事実と異なる
fact1: 仮に「なんらかのものは苦い」ということは成り立てばそれは見渡さない fact2: もし「快速船でない」物があるとするとこのＸ線前後像が打ち欠くしその上自決である fact3: 「あの三子は使用し難くないけど同封致す」ということは偽である fact4: もしもこのＸ線前後像が自決だとしたらあの三子は蹴る fact5: 「この胸肉は人権状況であるが見紛わない」ということは成り立つということはない fact6: この胸肉は最盛期だ fact7: もし仮にそのロードが見渡すということはないとしたらあの和光堂事件は水道事業だ一方でゆっくりしない fact8: 「仮に「このメール利用時間はネイティブらしくない」ということは成り立てばその軸荷重は多しけれどＳＵＮでない」ということは成り立つ fact9: 「ＳＵＮはマザー工場である」ということは真実だ fact10: 「この胸肉は人権状況であるけど見紛わない」ということは間違っていれば「ＳＵＮである」ということは正しい fact11: もし仮にその告発はＳＵＮでないとすれば「この胸肉はマザー工場であるし最盛期である」ということは成り立つということはない fact12: 「この胸肉は人権状況だしかつ見紛う」ということは間違っている fact13: この薬物木簡は快速船でない fact14: もし仮にあの三子が作業時間でないけど勉強出来るならばあの疲れは作業時間でない fact15: もし「あの三子は使用し難くないがしかし同封致す」ということは間違いであるならそれは作業時間でない fact16: 「何らかのものは蹴る」ということは成り立てばそれは勉強出来る fact17: もしその軸荷重が多しがしかしＳＵＮでないならばその告発はＳＵＮでない fact18: もし仮にこの胸肉は見紛えば「それはＳＵＮだ」ということは正しい fact19: もし仮にとあるものが水道事業だけどそれはゆっくりするということはないとすれば「その国際放送等は安堵し難くない」ということは事実と異ならない fact20: この疲れが作業時間でないとすればそのロードは保持するし加えてそれは苦い
fact10 & fact5 -> int1: この胸肉はＳＵＮだ; fact9 -> int2: 仮にこの胸肉がＳＵＮだとすればそれはマザー工場である; int1 & int2 -> int3: 「この胸肉はマザー工場である」ということは成り立つ; int3 & fact6 -> hypothesis;
「この胸肉はマザー工場であるし最盛期である」ということは事実と異なる
fact34 -> int4: そのロードが苦いとするとそれは見渡さない; fact28 & fact27 -> int5: あの三子は作業時間でない; fact33 -> int6: 仮にあの三子が蹴れば勉強出来る; fact23 -> int7: 「快速船でない」ものはある; int7 & fact25 -> int8: このＸ線前後像は打ち欠くし加えて自決だ; int8 -> int9: このＸ線前後像は自決だ; fact21 & int9 -> int10: 「あの三子は蹴る」ということは成り立つ; int6 & int10 -> int11: あの三子は勉強出来る; int5 & int11 -> int12: あの三子は作業時間でない一方で勉強出来る; fact32 & int12 -> int13: この疲れは作業時間でない; fact24 & int13 -> int14: そのロードは保持するし苦い; int14 -> int15: そのロードは苦い; int4 & int15 -> int16: そのロードは見渡さない; fact31 & int16 -> int17: あの和光堂事件は水道事業だがゆっくりしない; int17 -> int18: なにかは水道事業だけどゆっくりしない; int18 & fact26 -> int19: その国際放送等は安堵し難くない; int19 -> int20: 何かは安堵し難くない;
$facts$ = fact1: 仮に「なんらかのものは苦い」ということは成り立てばそれは見渡さない fact2: もし「快速船でない」物があるとするとこのＸ線前後像が打ち欠くしその上自決である fact3: 「あの三子は使用し難くないけど同封致す」ということは偽である fact4: もしもこのＸ線前後像が自決だとしたらあの三子は蹴る fact5: 「この胸肉は人権状況であるが見紛わない」ということは成り立つということはない fact6: この胸肉は最盛期だ fact7: もし仮にそのロードが見渡すということはないとしたらあの和光堂事件は水道事業だ一方でゆっくりしない fact8: 「仮に「このメール利用時間はネイティブらしくない」ということは成り立てばその軸荷重は多しけれどＳＵＮでない」ということは成り立つ fact9: 「ＳＵＮはマザー工場である」ということは真実だ fact10: 「この胸肉は人権状況であるけど見紛わない」ということは間違っていれば「ＳＵＮである」ということは正しい fact11: もし仮にその告発はＳＵＮでないとすれば「この胸肉はマザー工場であるし最盛期である」ということは成り立つということはない fact12: 「この胸肉は人権状況だしかつ見紛う」ということは間違っている fact13: この薬物木簡は快速船でない fact14: もし仮にあの三子が作業時間でないけど勉強出来るならばあの疲れは作業時間でない fact15: もし「あの三子は使用し難くないがしかし同封致す」ということは間違いであるならそれは作業時間でない fact16: 「何らかのものは蹴る」ということは成り立てばそれは勉強出来る fact17: もしその軸荷重が多しがしかしＳＵＮでないならばその告発はＳＵＮでない fact18: もし仮にこの胸肉は見紛えば「それはＳＵＮだ」ということは正しい fact19: もし仮にとあるものが水道事業だけどそれはゆっくりするということはないとすれば「その国際放送等は安堵し難くない」ということは事実と異ならない fact20: この疲れが作業時間でないとすればそのロードは保持するし加えてそれは苦い ; $hypothesis$ = 「この胸肉はマザー工場であるし最盛期だ」ということは事実と異なる ; $proof$ = 
fact10 & fact5 -> int1: この胸肉はＳＵＮだ; fact9 -> int2: 仮にこの胸肉がＳＵＮだとすればそれはマザー工場である; int1 & int2 -> int3: 「この胸肉はマザー工場である」ということは成り立つ; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮に「なんらかのものは苦い」ということは成り立てばそれは見渡さない
事実2: もし「快速船でない」物があるとするとこのＸ線前後像が打ち欠くしその上自決である
事実3: 「あの三子は使用し難くないけど同封致す」ということは偽である
事実4: もしもこのＸ線前後像が自決だとしたらあの三子は蹴る
事実5: 「この胸肉は人権状況であるが見紛わない」ということは成り立つということはない
事実6: この胸肉は最盛期だ
事実7: もし仮にそのロードが見渡すということはないとしたらあの和光堂事件は水道事業だ一方でゆっくりしない
事実8: 「仮に「このメール利用時間はネイティブらしくない」ということは成り立てばその軸荷重は多しけれどＳＵＮでない」ということは成り立つ
事実9: 「ＳＵＮはマザー工場である」ということは真実だ
事実10: 「この胸肉は人権状況であるけど見紛わない」ということは間違っていれば「ＳＵＮである」ということは正しい
事実11: もし仮にその告発はＳＵＮでないとすれば「この胸肉はマザー工場であるし最盛期である」ということは成り立つということはない
事実12: 「この胸肉は人権状況だしかつ見紛う」ということは間違っている
事実13: この薬物木簡は快速船でない
事実14: もし仮にあの三子が作業時間でないけど勉強出来るならばあの疲れは作業時間でない
事実15: もし「あの三子は使用し難くないがしかし同封致す」ということは間違いであるならそれは作業時間でない
事実16: 「何らかのものは蹴る」ということは成り立てばそれは勉強出来る
事実17: もしその軸荷重が多しがしかしＳＵＮでないならばその告発はＳＵＮでない
事実18: もし仮にこの胸肉は見紛えば「それはＳＵＮだ」ということは正しい
事実19: もし仮にとあるものが水道事業だけどそれはゆっくりするということはないとすれば「その国際放送等は安堵し難くない」ということは事実と異ならない
事実20: この疲れが作業時間でないとすればそのロードは保持するし加えてそれは苦い

仮説: 「この胸肉はマザー工場であるし最盛期だ」ということは事実と異なる
1. 事実10と事実5から、推論1: "この胸肉はＳＵＮだ"が導かれる
2. 事実9から、推論2: "仮にこの胸肉がＳＵＮだとすればそれはマザー工場である"が導かれる
3. 推論1と推論2から、推論3: "「この胸肉はマザー工場である」ということは成り立つ"が導かれる
4. 推論3と事実6から、仮説が否定される

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