「この元治元年は新型車であるしどでかい」ということは嘘だ
fact1: その分界線は助け合わない fact2: もしもあの弥生時代末が付け狙わないとするとあの勉強中は色好いがしかし助け合わない fact3: 「「香しい」ということは嘘でない」物はある fact4: 上がり易い物が置き易いならそれは新型車でない fact5: あの勉強中がごみごみするとすればこの元治元年はどでかい fact6: 色好い物は助け合わないとしたら「新型車でない」ということは偽である fact7: あの弥生時代末は助け合わない fact8: もしなにがしかの物が冷暖房でないかまたはそれは置き易くないかあるいは両方だとすると「上がり易い」ということは成り立つ fact9: この元治元年は置き易いか冷暖房でないかまたはどちらもであるなら「香しい」ということは本当である fact10: あの弥生時代末は冷暖房でないしまた香しかない fact11: 仮に「何かはごみごみしないけどそれは香しい」ということは成り立たないとすれば香しかない fact12: なにかは上がり易くない fact13: この行政組織は置き易い fact14: あの弥生時代末が助け合わないとしたらあの勉強中はごみごみする fact15: 「上がり易くない」ものがあるならこの元治元年は置き易いかもしくは冷暖房でない fact16: もしこの元治元年が上がり易いとしたらあのクリップアートはどでかい fact17: もし仮にあの勉強中が香しかないならばあの元治元年は冷暖房でないかもしくは置き易いということはないかあるいは両方である fact18: この元治元年が香しいとしたら新型車である
fact12 & fact15 -> int1: この元治元年は置き易いか冷暖房でないかまたはどちらもだ; int1 & fact9 -> int2: この元治元年は香しい; int2 & fact18 -> int3: この元治元年は新型車である; fact14 & fact7 -> int4: あの勉強中はごみごみする; fact5 & int4 -> int5: この元治元年はどでかい; int3 & int5 -> hypothesis;
「この元治元年は新型車でどでかい」ということは嘘だ
fact19 -> int6: 「あの勉強中は上がり易いし加えて置き易い」ということは事実であるならばそれは新型車でない; fact20 -> int7: あの弥生時代末は冷暖房でない; int7 -> int8: 「冷暖房であるということはない」ものはある;
$facts$ = fact1: その分界線は助け合わない fact2: もしもあの弥生時代末が付け狙わないとするとあの勉強中は色好いがしかし助け合わない fact3: 「「香しい」ということは嘘でない」物はある fact4: 上がり易い物が置き易いならそれは新型車でない fact5: あの勉強中がごみごみするとすればこの元治元年はどでかい fact6: 色好い物は助け合わないとしたら「新型車でない」ということは偽である fact7: あの弥生時代末は助け合わない fact8: もしなにがしかの物が冷暖房でないかまたはそれは置き易くないかあるいは両方だとすると「上がり易い」ということは成り立つ fact9: この元治元年は置き易いか冷暖房でないかまたはどちらもであるなら「香しい」ということは本当である fact10: あの弥生時代末は冷暖房でないしまた香しかない fact11: 仮に「何かはごみごみしないけどそれは香しい」ということは成り立たないとすれば香しかない fact12: なにかは上がり易くない fact13: この行政組織は置き易い fact14: あの弥生時代末が助け合わないとしたらあの勉強中はごみごみする fact15: 「上がり易くない」ものがあるならこの元治元年は置き易いかもしくは冷暖房でない fact16: もしこの元治元年が上がり易いとしたらあのクリップアートはどでかい fact17: もし仮にあの勉強中が香しかないならばあの元治元年は冷暖房でないかもしくは置き易いということはないかあるいは両方である fact18: この元治元年が香しいとしたら新型車である ; $hypothesis$ = 「この元治元年は新型車であるしどでかい」ということは嘘だ ; $proof$ = 
fact12 & fact15 -> int1: この元治元年は置き易いか冷暖房でないかまたはどちらもだ; int1 & fact9 -> int2: この元治元年は香しい; int2 & fact18 -> int3: この元治元年は新型車である; fact14 & fact7 -> int4: あの勉強中はごみごみする; fact5 & int4 -> int5: この元治元年はどでかい; int3 & int5 -> hypothesis; __DISPROVED__
事実1: その分界線は助け合わない
事実2: もしもあの弥生時代末が付け狙わないとするとあの勉強中は色好いがしかし助け合わない
事実3: 「「香しい」ということは嘘でない」物はある
事実4: 上がり易い物が置き易いならそれは新型車でない
事実5: あの勉強中がごみごみするとすればこの元治元年はどでかい
事実6: 色好い物は助け合わないとしたら「新型車でない」ということは偽である
事実7: あの弥生時代末は助け合わない
事実8: もしなにがしかの物が冷暖房でないかまたはそれは置き易くないかあるいは両方だとすると「上がり易い」ということは成り立つ
事実9: この元治元年は置き易いか冷暖房でないかまたはどちらもであるなら「香しい」ということは本当である
事実10: あの弥生時代末は冷暖房でないしまた香しかない
事実11: 仮に「何かはごみごみしないけどそれは香しい」ということは成り立たないとすれば香しかない
事実12: なにかは上がり易くない
事実13: この行政組織は置き易い
事実14: あの弥生時代末が助け合わないとしたらあの勉強中はごみごみする
事実15: 「上がり易くない」ものがあるならこの元治元年は置き易いかもしくは冷暖房でない
事実16: もしこの元治元年が上がり易いとしたらあのクリップアートはどでかい
事実17: もし仮にあの勉強中が香しかないならばあの元治元年は冷暖房でないかもしくは置き易いということはないかあるいは両方である
事実18: この元治元年が香しいとしたら新型車である

仮説: 「この元治元年は新型車であるしどでかい」ということは嘘だ
1. 事実12と事実15から、推論1: "この元治元年は置き易いか冷暖房でないかまたはどちらもだ"が導かれる
2. 推論1と事実9から、推論2: "この元治元年は香しい"が導かれる
3. 推論2と事実18から、推論3: "この元治元年は新型車である"が導かれる
4. 事実14と事実7から、推論4: "あの勉強中はごみごみする"が導かれる
5. 事実5と推論4から、推論5: "この元治元年はどでかい"が導かれる
6. 推論3と推論5から、仮説が否定される

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