「あの液膜は局であるし満ち溢れる」ということは事実と異なる
fact1: あの巻末は満ち溢れる fact2: あの作業療法は考え続ける fact3: この会計単位は考え続けない fact4: 仮に「あの情報紙は縫縮しない一方で刮げ落とす」ということは誤りであるならばその座卓は刮げ落とさない fact5: もし仮になんらかのものは継承すなら「みっとも可愛いということはなくてまたそれは局でない」ということは成り立たない fact6: あの情報紙は命じないとしたら「縫縮しなくてその上それは刮げ落とす」ということは間違いだ fact7: もし「「この会計単位がレッドネック神話でなくておまけに晴れはましくらない」ということは成り立つ」ということは成り立つということはないとしたらそれは晴れがましい fact8: 仮に「刮げ落とさない」ものがあるならばあの会計単位は晴れがましいし商売する fact9: もしもこの会計単位が作詞だとすればあの巻末は作詞だ fact10: もしも何らかのものは晴れがましいとすれば「みっとも可愛くないしその上手緩い」ということは成り立たない fact11: 仮に「何らかの物はみっとも可愛くないがしかし手緩い」ということは間違っているとしたらみっとも可愛い fact12: この会計単位は息するなら「あの液膜は満ち溢れる」ということは成り立つ fact13: あの情報紙は命じるということはない fact14: もしもなにかは息するとすると作詞でないしそれに考え続けるということはない fact15: あの巻末は考え続けないならば「「あの液膜は局でしかも満ち溢れる」ということは真実である」ということは間違いである fact16: もしも「なにがしかのものはみっとも可愛くないしその上局でない」ということは成り立たないとしたらそれは局である fact17: あの巻末は考え続ける fact18: もしあの巻末が作詞であるとするとその座卓は考え続ける fact19: もしも「何らかの物はみっとも可愛くないし満ち溢れない」ということは事実と異なるならそれは満ち溢れる fact20: あの巻末は作詞でない fact21: もし仮にその座卓が晴れがましいならあの液膜は継承す fact22: もし仮にあの巻末が考え続けるがしかし作詞でないならこの会計単位は息する fact23: その座卓は晴れがましい fact24: もし仮にとある物が満ち溢れないとすればそれは息しないし作詞である
fact17 & fact20 -> int1: あの巻末は考え続けるけれど作詞でない; int1 & fact22 -> int2: この会計単位は息する; int2 & fact12 -> int3: 「あの液膜は満ち溢れる」ということは成り立つ; fact23 & fact21 -> int4: あの液膜は継承す; fact5 -> int5: 仮にあの液膜は継承すなら「それはみっとも可愛くないし更に局だということはない」ということは間違いだ; int4 & int5 -> int6: 「あの液膜はみっとも可愛くないしまた局でない」ということは成り立つということはない; fact16 -> int7: もし「「あの液膜はみっとも可愛くないしそれに局でない」ということは嘘だ」ということは成り立つとしたら局だ; int6 & int7 -> int8: あの液膜は局である; int3 & int8 -> hypothesis;
その座卓は考え続ける
fact26 -> int9: もしこの会計単位が満ち溢れるということはないならば息しないけど作詞である;
$facts$ = fact1: あの巻末は満ち溢れる fact2: あの作業療法は考え続ける fact3: この会計単位は考え続けない fact4: 仮に「あの情報紙は縫縮しない一方で刮げ落とす」ということは誤りであるならばその座卓は刮げ落とさない fact5: もし仮になんらかのものは継承すなら「みっとも可愛いということはなくてまたそれは局でない」ということは成り立たない fact6: あの情報紙は命じないとしたら「縫縮しなくてその上それは刮げ落とす」ということは間違いだ fact7: もし「「この会計単位がレッドネック神話でなくておまけに晴れはましくらない」ということは成り立つ」ということは成り立つということはないとしたらそれは晴れがましい fact8: 仮に「刮げ落とさない」ものがあるならばあの会計単位は晴れがましいし商売する fact9: もしもこの会計単位が作詞だとすればあの巻末は作詞だ fact10: もしも何らかのものは晴れがましいとすれば「みっとも可愛くないしその上手緩い」ということは成り立たない fact11: 仮に「何らかの物はみっとも可愛くないがしかし手緩い」ということは間違っているとしたらみっとも可愛い fact12: この会計単位は息するなら「あの液膜は満ち溢れる」ということは成り立つ fact13: あの情報紙は命じるということはない fact14: もしもなにかは息するとすると作詞でないしそれに考え続けるということはない fact15: あの巻末は考え続けないならば「「あの液膜は局でしかも満ち溢れる」ということは真実である」ということは間違いである fact16: もしも「なにがしかのものはみっとも可愛くないしその上局でない」ということは成り立たないとしたらそれは局である fact17: あの巻末は考え続ける fact18: もしあの巻末が作詞であるとするとその座卓は考え続ける fact19: もしも「何らかの物はみっとも可愛くないし満ち溢れない」ということは事実と異なるならそれは満ち溢れる fact20: あの巻末は作詞でない fact21: もし仮にその座卓が晴れがましいならあの液膜は継承す fact22: もし仮にあの巻末が考え続けるがしかし作詞でないならこの会計単位は息する fact23: その座卓は晴れがましい fact24: もし仮にとある物が満ち溢れないとすればそれは息しないし作詞である ; $hypothesis$ = 「あの液膜は局であるし満ち溢れる」ということは事実と異なる ; $proof$ = 
fact17 & fact20 -> int1: あの巻末は考え続けるけれど作詞でない; int1 & fact22 -> int2: この会計単位は息する; int2 & fact12 -> int3: 「あの液膜は満ち溢れる」ということは成り立つ; fact23 & fact21 -> int4: あの液膜は継承す; fact5 -> int5: 仮にあの液膜は継承すなら「それはみっとも可愛くないし更に局だということはない」ということは間違いだ; int4 & int5 -> int6: 「あの液膜はみっとも可愛くないしまた局でない」ということは成り立つということはない; fact16 -> int7: もし「「あの液膜はみっとも可愛くないしそれに局でない」ということは嘘だ」ということは成り立つとしたら局だ; int6 & int7 -> int8: あの液膜は局である; int3 & int8 -> 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: その座卓は晴れがましい
事実24: もし仮にとある物が満ち溢れないとすればそれは息しないし作詞である

仮説: 「あの液膜は局であるし満ち溢れる」ということは事実と異なる
1. 事実17と事実20から、推論1: "あの巻末は考え続けるけれど作詞でない"が導かれる
2. 推論1と事実22から、推論2: "この会計単位は息する"が導かれる
3. 推論2と事実12から、推論3: "「あの液膜は満ち溢れる」ということは成り立つ"が導かれる
4. 事実23と事実21から、推論4: "あの液膜は継承す"が導かれる
5. 事実5から、推論5: "仮にあの液膜は継承すなら「それはみっとも可愛くないし更に局だということはない」ということは間違いだ"が導かれる
6. 推論4と推論5から、推論6: "「あの液膜はみっとも可愛くないしまた局でない」ということは成り立つということはない"が導かれる
7. 事実16から、推論7: "もし「「あの液膜はみっとも可愛くないしそれに局でない」ということは嘘だ」ということは成り立つとしたら局だ"が導かれる
8. 推論6と推論7から、推論8: "あの液膜は局である"が導かれる
9. 推論3と推論8から、仮説が否定される

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