「「そのガーターベルトはデストラクタでない一方で総料理長だ」ということは成り立つ」ということは間違いである
fact1: 「この契約共同体は茶葉内であるということはなくてまた米艦隊でない」ということは成り立たない fact2: 「あのメディカルセンターは失速する」ということは間違っていないならば総料理長でないけれど訝しい fact3: この契約共同体は大勝するがしかしはしたないということはない fact4: 仮に「「この掌サイズはインフレ目標だけど総料理長だということはない」ということは真実だ」ということは確かでないとしたらインフレ目標でない fact5: 「この掌サイズは大勝しない」ということは事実である fact6: 「そのガーターベルトは意見陳述である一方で貸し渋りだということはない」ということは偽だ fact7: もし仮にこの掌サイズが類推なら大勝しないが意見陳述だ fact8: もしもなんらかのものは罪深いならば「それはデストラクタであるし加えて貸し渋りでない」ということは事実と異なる fact9: そのガーターベルトは農民経済でない fact10: そのガーターベルトは米西戦争である fact11: もしもそのガーターベルトがデストラクタならこの掌サイズはデストラクタであるということはない fact12: もし仮に「この掌サイズは総料理長でないけど罪深い」ということは事実であるとするとそれは覚え込む fact13: あの流通ルートははしたない fact14: そのパズルははしたない fact15: もし仮に「「そのガーターベルトはデストラクタであるがしかし貸し渋りでない」ということは嘘だ」ということは確かならそれはデストラクタでない fact16: もし「この契約共同体ははしたなくなくてその上それは罪深くない」ということは偽であるならそのガーターベルトは罪深い fact17: この掌サイズが覚え込むならそのガーターベルトは総料理長であるけど覚え込まない fact18: 「この契約共同体ははしたなくないしその上罪深くない」ということは間違いである fact19: もし仮に「この掌サイズは貸し渋りだ」ということは確かならそのガーターベルトは大勝するがしかし貸し渋りでない fact20: とある物が大勝しないがしかしそれは意見陳述であるとしたらそれは覚え込む fact21: この掌サイズは類推である fact22: この掌サイズは古臭いがしょぼくない fact23: あの加工実習は罪深くない
fact7 & fact21 -> int1: この掌サイズは大勝しないけれどそれは意見陳述である; fact20 -> int2: もしもこの掌サイズは大勝しないけれど意見陳述だとすればそれは覚え込む; int1 & int2 -> int3: 「この掌サイズは覚え込む」ということは真実である; int3 & fact17 -> int4: そのガーターベルトは総料理長であるけれど覚え込まない; int4 -> int5: そのガーターベルトは総料理長だ; fact16 & fact18 -> int6: そのガーターベルトは罪深い; fact8 -> int7: もし「そのガーターベルトは罪深い」ということは真実だとすると「デストラクタでかつ貸し渋りでない」ということは事実でない; int6 & int7 -> int8: 「そのガーターベルトはデストラクタであるけどそれは貸し渋りでない」ということは誤っている; int8 & fact15 -> int9: そのガーターベルトはデストラクタであるということはない; int5 & int9 -> hypothesis;
$facts$ = fact1: 「この契約共同体は茶葉内であるということはなくてまた米艦隊でない」ということは成り立たない fact2: 「あのメディカルセンターは失速する」ということは間違っていないならば総料理長でないけれど訝しい fact3: この契約共同体は大勝するがしかしはしたないということはない fact4: 仮に「「この掌サイズはインフレ目標だけど総料理長だということはない」ということは真実だ」ということは確かでないとしたらインフレ目標でない fact5: 「この掌サイズは大勝しない」ということは事実である fact6: 「そのガーターベルトは意見陳述である一方で貸し渋りだということはない」ということは偽だ fact7: もし仮にこの掌サイズが類推なら大勝しないが意見陳述だ fact8: もしもなんらかのものは罪深いならば「それはデストラクタであるし加えて貸し渋りでない」ということは事実と異なる fact9: そのガーターベルトは農民経済でない fact10: そのガーターベルトは米西戦争である fact11: もしもそのガーターベルトがデストラクタならこの掌サイズはデストラクタであるということはない fact12: もし仮に「この掌サイズは総料理長でないけど罪深い」ということは事実であるとするとそれは覚え込む fact13: あの流通ルートははしたない fact14: そのパズルははしたない fact15: もし仮に「「そのガーターベルトはデストラクタであるがしかし貸し渋りでない」ということは嘘だ」ということは確かならそれはデストラクタでない fact16: もし「この契約共同体ははしたなくなくてその上それは罪深くない」ということは偽であるならそのガーターベルトは罪深い fact17: この掌サイズが覚え込むならそのガーターベルトは総料理長であるけど覚え込まない fact18: 「この契約共同体ははしたなくないしその上罪深くない」ということは間違いである fact19: もし仮に「この掌サイズは貸し渋りだ」ということは確かならそのガーターベルトは大勝するがしかし貸し渋りでない fact20: とある物が大勝しないがしかしそれは意見陳述であるとしたらそれは覚え込む fact21: この掌サイズは類推である fact22: この掌サイズは古臭いがしょぼくない fact23: あの加工実習は罪深くない ; $hypothesis$ = 「「そのガーターベルトはデストラクタでない一方で総料理長だ」ということは成り立つ」ということは間違いである ; $proof$ = 
fact7 & fact21 -> int1: この掌サイズは大勝しないけれどそれは意見陳述である; fact20 -> int2: もしもこの掌サイズは大勝しないけれど意見陳述だとすればそれは覚え込む; int1 & int2 -> int3: 「この掌サイズは覚え込む」ということは真実である; int3 & fact17 -> int4: そのガーターベルトは総料理長であるけれど覚え込まない; int4 -> int5: そのガーターベルトは総料理長だ; fact16 & fact18 -> int6: そのガーターベルトは罪深い; fact8 -> int7: もし「そのガーターベルトは罪深い」ということは真実だとすると「デストラクタでかつ貸し渋りでない」ということは事実でない; int6 & int7 -> int8: 「そのガーターベルトはデストラクタであるけどそれは貸し渋りでない」ということは誤っている; int8 & fact15 -> int9: そのガーターベルトはデストラクタであるということはない; int5 & int9 -> hypothesis; __DISPROVED__
事実1: 「この契約共同体は茶葉内であるということはなくてまた米艦隊でない」ということは成り立たない
事実2: 「あのメディカルセンターは失速する」ということは間違っていないならば総料理長でないけれど訝しい
事実3: この契約共同体は大勝するがしかしはしたないということはない
事実4: 仮に「「この掌サイズはインフレ目標だけど総料理長だということはない」ということは真実だ」ということは確かでないとしたらインフレ目標でない
事実5: 「この掌サイズは大勝しない」ということは事実である
事実6: 「そのガーターベルトは意見陳述である一方で貸し渋りだということはない」ということは偽だ
事実7: もし仮にこの掌サイズが類推なら大勝しないが意見陳述だ
事実8: もしもなんらかのものは罪深いならば「それはデストラクタであるし加えて貸し渋りでない」ということは事実と異なる
事実9: そのガーターベルトは農民経済でない
事実10: そのガーターベルトは米西戦争である
事実11: もしもそのガーターベルトがデストラクタならこの掌サイズはデストラクタであるということはない
事実12: もし仮に「この掌サイズは総料理長でないけど罪深い」ということは事実であるとするとそれは覚え込む
事実13: あの流通ルートははしたない
事実14: そのパズルははしたない
事実15: もし仮に「「そのガーターベルトはデストラクタであるがしかし貸し渋りでない」ということは嘘だ」ということは確かならそれはデストラクタでない
事実16: もし「この契約共同体ははしたなくなくてその上それは罪深くない」ということは偽であるならそのガーターベルトは罪深い
事実17: この掌サイズが覚え込むならそのガーターベルトは総料理長であるけど覚え込まない
事実18: 「この契約共同体ははしたなくないしその上罪深くない」ということは間違いである
事実19: もし仮に「この掌サイズは貸し渋りだ」ということは確かならそのガーターベルトは大勝するがしかし貸し渋りでない
事実20: とある物が大勝しないがしかしそれは意見陳述であるとしたらそれは覚え込む
事実21: この掌サイズは類推である
事実22: この掌サイズは古臭いがしょぼくない
事実23: あの加工実習は罪深くない

仮説: 「「そのガーターベルトはデストラクタでない一方で総料理長だ」ということは成り立つ」ということは間違いである
1. 事実7と事実21から、推論1: "この掌サイズは大勝しないけれどそれは意見陳述である"が導かれる
2. 事実20から、推論2: "もしもこの掌サイズは大勝しないけれど意見陳述だとすればそれは覚え込む"が導かれる
3. 推論1と推論2から、推論3: "「この掌サイズは覚え込む」ということは真実である"が導かれる
4. 推論3と事実17から、推論4: "そのガーターベルトは総料理長であるけれど覚え込まない"が導かれる
5. 推論4から、推論5: "そのガーターベルトは総料理長だ"が導かれる
6. 事実16と事実18から、推論6: "そのガーターベルトは罪深い"が導かれる
7. 事実8から、推論7: "もし「そのガーターベルトは罪深い」ということは真実だとすると「デストラクタでかつ貸し渋りでない」ということは事実でない"が導かれる
8. 推論6と推論7から、推論8: "「そのガーターベルトはデストラクタであるけどそれは貸し渋りでない」ということは誤っている"が導かれる
9. 推論8と事実15から、推論9: "そのガーターベルトはデストラクタであるということはない"が導かれる
10. 推論5と推論9から、仮説が否定される

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