「もし仮に「あの義旗は頼り切るけれど生温くない」ということは嘘であるとすればあの拮抗薬は土御門家だ」ということは間違っている
fact1: 「あの義旗は頼り切るし生温い」ということは偽である fact2: もしも「その使用上は輝き渡るかあるいはそれは稼ぎ出さないかどちらもである」ということは成り立たないならばあの拮抗薬は輝き渡る fact3: もし「あの水冷エンジンはＲドライブだがしかしそれはエロくない」ということは誤っているならあの義旗は認定要件である fact4: とある物は京都らしいとすれば「それは生温くないしその上それは安し」ということは誤りである fact5: 「あの義旗は頼り切らない」ということは確かである fact6: 「あの拮抗薬は生温いけど遠絡療法だということはない」ということは成り立たないとすればあの義旗は土御門家である fact7: もし仮になにがしかの物は認定要件であるとすれば「土御門家だということはないが給水する」ということは偽だ fact8: 仮に「あの拮抗薬は催吐であるがしかし京都らしくない」ということは間違いであるとしたらこの年以来は遠絡療法でない fact9: 「その使用上は輝き渡るかそれは稼ぎ出さない」ということは本当でない fact10: 「遠絡療法は土御門家である」ということは事実だ fact11: 仮に「この年以来は京都らしい」ということは本当であるなら「あの拮抗薬は遠絡療法だ」ということは事実である fact12: もし「「あの義旗は頼り切る一方で生温くない」ということは成り立つということはない」ということは誤りでないとするとあの水冷エンジンは安しない fact13: 仮に「この年以来は催吐でない」ということは間違いだとするとあの拮抗薬は遠絡療法だ fact14: もしあの義旗が生温いならあの水冷エンジンは安しということはない fact15: もし仮にあの拮抗薬は輝き渡れば「あの水冷エンジンはＲドライブであるけどエロくない」ということは間違いだ fact16: もし仮に「とある物は生温くないけれど安し」ということは成り立たないならそれは生温い fact17: もし仮にあの義旗は頼り切る一方で生温くないならば「あの水冷エンジンは安しということはない」ということは事実と異ならない fact18: あの義旗が頼り切るが生温くないとすればあの拮抗薬は土御門家である fact19: 仮にあの義旗が遠絡療法でないとするとこの年以来は京都らしいしかつ催吐である fact20: 「あの義旗は生温い」ということは成り立つならあの拮抗薬は土御門家である fact21: 仮にあの水冷エンジンが土御門家だとしたらあの拮抗薬は安し fact22: この年以来は遠絡療法だ fact23: もしもあの水冷エンジンが安しないとするとこの年以来は京都らしいか催吐だ
void -> assump1: 以下のように仮定する。「あの義旗は頼り切るけどそれは生温くない」ということは偽である; fact12 & assump1 -> int1: あの水冷エンジンは安しない; int1 & fact23 -> int2: この年以来は京都らしいかあるいは催吐であるかもしくは両方である; int2 & fact11 & fact13 -> int3: あの拮抗薬は遠絡療法である; fact10 -> int4: もしもあの拮抗薬は遠絡療法であるならばそれは土御門家だ; int3 & int4 -> int5: あの拮抗薬は土御門家だ; [assump1] & int5 -> hypothesis;
この年以来は生温い
fact31 -> int6: 仮に「この年以来は生温くない一方で安し」ということは成り立たないならば生温い; fact27 -> int7: もしこの年以来は京都らしいならば「生温くないけれど安し」ということは嘘だ; fact25 -> int8: もしも「あの義旗は認定要件だ」ということは成り立てば「それは土御門家でなくてそれは給水する」ということは誤っている; fact29 & fact26 -> int9: あの拮抗薬は輝き渡る; fact28 & int9 -> int10: 「あの水冷エンジンはＲドライブだけれどそれはエロいということはない」ということは間違っている; fact30 & int10 -> int11: あの義旗は認定要件である; int8 & int11 -> int12: 「あの義旗は土御門家でない一方で給水する」ということは間違いだ;
$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$ = 
void -> assump1: 以下のように仮定する。「あの義旗は頼り切るけどそれは生温くない」ということは偽である; fact12 & assump1 -> int1: あの水冷エンジンは安しない; int1 & fact23 -> int2: この年以来は京都らしいかあるいは催吐であるかもしくは両方である; int2 & fact11 & fact13 -> int3: あの拮抗薬は遠絡療法である; fact10 -> int4: もしもあの拮抗薬は遠絡療法であるならばそれは土御門家だ; int3 & int4 -> int5: あの拮抗薬は土御門家だ; [assump1] & int5 -> 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. 仮定1: 以下のように仮定する。「あの義旗は頼り切るけどそれは生温くない」ということは偽である
2. 事実12と仮定1から、推論1: "あの水冷エンジンは安しない"が導かれる
3. 推論1と事実23から、推論2: "この年以来は京都らしいかあるいは催吐であるかもしくは両方である"が導かれる
4. 推論2と事実11と事実13から、推論3: "あの拮抗薬は遠絡療法である"が導かれる
5. 事実10から、推論4: "もしもあの拮抗薬は遠絡療法であるならばそれは土御門家だ"が導かれる
6. 推論3と推論4から、推論5: "あの拮抗薬は土御門家だ"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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