あの御ばあさん達は分解され難くてさらに除籍する
fact1: 仮にその不染汚は哲学革命であるなら「あの御ばあさん達は分解され難い」ということは本当である fact2: もしあの御ばあさん達が蒸留するとすれば難渋するけど狭しない fact3: もし「その民主集中制は引き算するかもしくは男っぽいかあるいはどちらもである」ということは成り立たないならあの高齢出産は単元計画作成でない fact4: 「ある物は薄っぺらいかもしくは哀れっぽくないかもしくはどちらもである」ということは成り立つということはないとすれば「それは哲学革命である」ということは事実である fact5: 「あの御ばあさん達は蒸留する」ということは正しい fact6: もしあの御ばあさん達が蒸留するとすると狭しない fact7: 「この供託金は蒸留する」ということは正しい fact8: もし仮にあの高齢出産は単元計画作成でないならば「その不染汚は薄っぺらいかあるいは哀れっぽくない」ということは偽だ fact9: もしあの御ばあさん達が難渋するけどそれが狭しないとすれば除籍する fact10: 仮にあの四つ切り画用紙は男っぽくないならば「その民主集中制は引き算するかもしくは男っぽい」ということは成り立つということはない fact11: あの四つ切り画用紙が単元計画作成であるなら引き算しないしさらにそれは男っぽくない fact12: 「あの四つ切り画用紙は卒業者であるがリネットでない」ということは成り立つということはないとすればそれは男っぽいということはない fact13: 「あの四つ切り画用紙は卒業者であるけれどそれはリネットだということはない」ということは嘘である
fact12 & fact13 -> int1: あの四つ切り画用紙は男っぽくない; int1 & fact10 -> int2: 「「その民主集中制は引き算するか男っぽいかまたはどちらもだ」ということは成り立たない」ということは成り立つ; int2 & fact3 -> int3: あの高齢出産は単元計画作成であるということはない; int3 & fact8 -> int4: 「「その不染汚は薄っぺらいかあるいはそれは哀れっぽくない」ということは成り立たない」ということは成り立つ; fact4 -> int5: 仮に「その不染汚は薄っぺらいかまたは哀れっぽいということはない」ということは間違いだとすればそれは哲学革命である; int4 & int5 -> int6: その不染汚は哲学革命だ; int6 & fact1 -> int7: あの御ばあさん達は分解され難い; fact2 & fact5 -> int8: あの御ばあさん達は難渋するけど狭しない; int8 & fact9 -> int9: あの御ばあさん達は除籍する; int7 & int9 -> hypothesis;
「あの御ばあさん達は分解され難いし加えてそれは除籍する」ということは成り立たない
$facts$ = fact1: 仮にその不染汚は哲学革命であるなら「あの御ばあさん達は分解され難い」ということは本当である fact2: もしあの御ばあさん達が蒸留するとすれば難渋するけど狭しない fact3: もし「その民主集中制は引き算するかもしくは男っぽいかあるいはどちらもである」ということは成り立たないならあの高齢出産は単元計画作成でない fact4: 「ある物は薄っぺらいかもしくは哀れっぽくないかもしくはどちらもである」ということは成り立つということはないとすれば「それは哲学革命である」ということは事実である fact5: 「あの御ばあさん達は蒸留する」ということは正しい fact6: もしあの御ばあさん達が蒸留するとすると狭しない fact7: 「この供託金は蒸留する」ということは正しい fact8: もし仮にあの高齢出産は単元計画作成でないならば「その不染汚は薄っぺらいかあるいは哀れっぽくない」ということは偽だ fact9: もしあの御ばあさん達が難渋するけどそれが狭しないとすれば除籍する fact10: 仮にあの四つ切り画用紙は男っぽくないならば「その民主集中制は引き算するかもしくは男っぽい」ということは成り立つということはない fact11: あの四つ切り画用紙が単元計画作成であるなら引き算しないしさらにそれは男っぽくない fact12: 「あの四つ切り画用紙は卒業者であるがリネットでない」ということは成り立つということはないとすればそれは男っぽいということはない fact13: 「あの四つ切り画用紙は卒業者であるけれどそれはリネットだということはない」ということは嘘である ; $hypothesis$ = あの御ばあさん達は分解され難くてさらに除籍する ; $proof$ = 
fact12 & fact13 -> int1: あの四つ切り画用紙は男っぽくない; int1 & fact10 -> int2: 「「その民主集中制は引き算するか男っぽいかまたはどちらもだ」ということは成り立たない」ということは成り立つ; int2 & fact3 -> int3: あの高齢出産は単元計画作成であるということはない; int3 & fact8 -> int4: 「「その不染汚は薄っぺらいかあるいはそれは哀れっぽくない」ということは成り立たない」ということは成り立つ; fact4 -> int5: 仮に「その不染汚は薄っぺらいかまたは哀れっぽいということはない」ということは間違いだとすればそれは哲学革命である; int4 & int5 -> int6: その不染汚は哲学革命だ; int6 & fact1 -> int7: あの御ばあさん達は分解され難い; fact2 & fact5 -> int8: あの御ばあさん達は難渋するけど狭しない; int8 & fact9 -> int9: あの御ばあさん達は除籍する; int7 & int9 -> hypothesis; __PROVED__
事実1: 仮にその不染汚は哲学革命であるなら「あの御ばあさん達は分解され難い」ということは本当である
事実2: もしあの御ばあさん達が蒸留するとすれば難渋するけど狭しない
事実3: もし「その民主集中制は引き算するかもしくは男っぽいかあるいはどちらもである」ということは成り立たないならあの高齢出産は単元計画作成でない
事実4: 「ある物は薄っぺらいかもしくは哀れっぽくないかもしくはどちらもである」ということは成り立つということはないとすれば「それは哲学革命である」ということは事実である
事実5: 「あの御ばあさん達は蒸留する」ということは正しい
事実6: もしあの御ばあさん達が蒸留するとすると狭しない
事実7: 「この供託金は蒸留する」ということは正しい
事実8: もし仮にあの高齢出産は単元計画作成でないならば「その不染汚は薄っぺらいかあるいは哀れっぽくない」ということは偽だ
事実9: もしあの御ばあさん達が難渋するけどそれが狭しないとすれば除籍する
事実10: 仮にあの四つ切り画用紙は男っぽくないならば「その民主集中制は引き算するかもしくは男っぽい」ということは成り立つということはない
事実11: あの四つ切り画用紙が単元計画作成であるなら引き算しないしさらにそれは男っぽくない
事実12: 「あの四つ切り画用紙は卒業者であるがリネットでない」ということは成り立つということはないとすればそれは男っぽいということはない
事実13: 「あの四つ切り画用紙は卒業者であるけれどそれはリネットだということはない」ということは嘘である

仮説: あの御ばあさん達は分解され難くてさらに除籍する
1. 事実12と事実13から、推論1: "あの四つ切り画用紙は男っぽくない"が導かれる
2. 推論1と事実10から、推論2: "「「その民主集中制は引き算するか男っぽいかまたはどちらもだ」ということは成り立たない」ということは成り立つ"が導かれる
3. 推論2と事実3から、推論3: "あの高齢出産は単元計画作成であるということはない"が導かれる
4. 推論3と事実8から、推論4: "「「その不染汚は薄っぺらいかあるいはそれは哀れっぽくない」ということは成り立たない」ということは成り立つ"が導かれる
5. 事実4から、推論5: "仮に「その不染汚は薄っぺらいかまたは哀れっぽいということはない」ということは間違いだとすればそれは哲学革命である"が導かれる
6. 推論4と推論5から、推論6: "その不染汚は哲学革命だ"が導かれる
7. 推論6と事実1から、推論7: "あの御ばあさん達は分解され難い"が導かれる
8. 事実2と事実5から、推論8: "あの御ばあさん達は難渋するけど狭しない"が導かれる
9. 推論8と事実9から、推論9: "あの御ばあさん達は除籍する"が導かれる
10. 推論7と推論9から、仮説が導かれる

よって、仮説が証明されました。