この意気地はぴりっとしなくてまた餓鬼っぽくない
fact1: もし「この均衡は付け難いがしかし空焼きしない」ということは成り立つということはないなら麻酔法でない fact2: もし仮に「抜け出す」物はあるとしたら「この意気地は抜け出さない一方でそれは乳臭い」ということは嘘だ fact3: もし「この意気地は徳間文庫であるか唾液であるかもしくはどちらもである」ということは事実と異なるとすればぴりっとしない fact4: もし仮に「その緊箍は唾液でない」ということは成り立つとしたら「この意気地は徳間文庫であるかあるいは唾液である」ということは成り立たない fact5: もし何かは徳間文庫でないならば「それは唾液であるということはない」ということは真実だ fact6: もしも「この意気地は抜け出さないけれど乳臭い」ということは嘘だとしたら餓鬼っぽくない fact7: 「あの十九日生まれは餓鬼っぽいかそれは掛かれる」ということは成り立たない fact8: もしも「この均衡は唾液でない」ということは成り立つとしたら「それは麻酔法でなくて更に苛めっ子だ」ということは間違いだ fact9: 仮に「その緊箍は抜け出さなくてしかも徳間文庫でない」ということは成り立たないとしたらこの均衡は徳間文庫でない fact10: あの地域福祉計画は苛めっ子だ fact11: もしなんらかのものは苛めっ子であるとすれば「それはぴりっとしないし餓鬼っぽいということはない」ということは偽である fact12: もしもその緊箍は乳臭いならば「抜け出さなくて徳間文庫でない」ということは誤っている fact13: なんらかのものは抜け出す fact14: もしあの地域福祉計画は苛めっ子であるとすると「この均衡は付け難いがしかし空焼きしない」ということは本当だということはない fact15: もしこの均衡が麻酔法でないとすればその緊箍は唾液であるということはない
fact14 & fact10 -> int1: 「「この均衡は付け難いけど空焼きしない」ということは確かだ」ということは間違いだ; int1 & fact1 -> int2: この均衡は麻酔法だということはない; int2 & fact15 -> int3: その緊箍は唾液でない; int3 & fact4 -> int4: 「この意気地は徳間文庫であるかもしくは唾液であるかどちらもである」ということは成り立たない; int4 & fact3 -> int5: この意気地はぴりっとしない; fact2 & fact13 -> int6: 「この意気地は抜け出さないけれど乳臭い」ということは成り立つということはない; fact6 & int6 -> int7: この意気地は餓鬼っぽくない; int5 & int7 -> hypothesis;
「この意気地はぴりっとしないしさらに餓鬼っぽくない」ということは誤っている
fact16 -> int8: もし仮にこの意気地は苛めっ子であるとすれば「ぴりっとしなくて餓鬼っぽくない」ということは誤りである;
$facts$ = fact1: もし「この均衡は付け難いがしかし空焼きしない」ということは成り立つということはないなら麻酔法でない fact2: もし仮に「抜け出す」物はあるとしたら「この意気地は抜け出さない一方でそれは乳臭い」ということは嘘だ fact3: もし「この意気地は徳間文庫であるか唾液であるかもしくはどちらもである」ということは事実と異なるとすればぴりっとしない fact4: もし仮に「その緊箍は唾液でない」ということは成り立つとしたら「この意気地は徳間文庫であるかあるいは唾液である」ということは成り立たない fact5: もし何かは徳間文庫でないならば「それは唾液であるということはない」ということは真実だ fact6: もしも「この意気地は抜け出さないけれど乳臭い」ということは嘘だとしたら餓鬼っぽくない fact7: 「あの十九日生まれは餓鬼っぽいかそれは掛かれる」ということは成り立たない fact8: もしも「この均衡は唾液でない」ということは成り立つとしたら「それは麻酔法でなくて更に苛めっ子だ」ということは間違いだ fact9: 仮に「その緊箍は抜け出さなくてしかも徳間文庫でない」ということは成り立たないとしたらこの均衡は徳間文庫でない fact10: あの地域福祉計画は苛めっ子だ fact11: もしなんらかのものは苛めっ子であるとすれば「それはぴりっとしないし餓鬼っぽいということはない」ということは偽である fact12: もしもその緊箍は乳臭いならば「抜け出さなくて徳間文庫でない」ということは誤っている fact13: なんらかのものは抜け出す fact14: もしあの地域福祉計画は苛めっ子であるとすると「この均衡は付け難いがしかし空焼きしない」ということは本当だということはない fact15: もしこの均衡が麻酔法でないとすればその緊箍は唾液であるということはない ; $hypothesis$ = この意気地はぴりっとしなくてまた餓鬼っぽくない ; $proof$ = 
fact14 & fact10 -> int1: 「「この均衡は付け難いけど空焼きしない」ということは確かだ」ということは間違いだ; int1 & fact1 -> int2: この均衡は麻酔法だということはない; int2 & fact15 -> int3: その緊箍は唾液でない; int3 & fact4 -> int4: 「この意気地は徳間文庫であるかもしくは唾液であるかどちらもである」ということは成り立たない; int4 & fact3 -> int5: この意気地はぴりっとしない; fact2 & fact13 -> int6: 「この意気地は抜け出さないけれど乳臭い」ということは成り立つということはない; fact6 & int6 -> int7: この意気地は餓鬼っぽくない; int5 & int7 -> hypothesis; __PROVED__
事実1: もし「この均衡は付け難いがしかし空焼きしない」ということは成り立つということはないなら麻酔法でない
事実2: もし仮に「抜け出す」物はあるとしたら「この意気地は抜け出さない一方でそれは乳臭い」ということは嘘だ
事実3: もし「この意気地は徳間文庫であるか唾液であるかもしくはどちらもである」ということは事実と異なるとすればぴりっとしない
事実4: もし仮に「その緊箍は唾液でない」ということは成り立つとしたら「この意気地は徳間文庫であるかあるいは唾液である」ということは成り立たない
事実5: もし何かは徳間文庫でないならば「それは唾液であるということはない」ということは真実だ
事実6: もしも「この意気地は抜け出さないけれど乳臭い」ということは嘘だとしたら餓鬼っぽくない
事実7: 「あの十九日生まれは餓鬼っぽいかそれは掛かれる」ということは成り立たない
事実8: もしも「この均衡は唾液でない」ということは成り立つとしたら「それは麻酔法でなくて更に苛めっ子だ」ということは間違いだ
事実9: 仮に「その緊箍は抜け出さなくてしかも徳間文庫でない」ということは成り立たないとしたらこの均衡は徳間文庫でない
事実10: あの地域福祉計画は苛めっ子だ
事実11: もしなんらかのものは苛めっ子であるとすれば「それはぴりっとしないし餓鬼っぽいということはない」ということは偽である
事実12: もしもその緊箍は乳臭いならば「抜け出さなくて徳間文庫でない」ということは誤っている
事実13: なんらかのものは抜け出す
事実14: もしあの地域福祉計画は苛めっ子であるとすると「この均衡は付け難いがしかし空焼きしない」ということは本当だということはない
事実15: もしこの均衡が麻酔法でないとすればその緊箍は唾液であるということはない

仮説: この意気地はぴりっとしなくてまた餓鬼っぽくない
1. 事実14と事実10から、推論1: "「「この均衡は付け難いけど空焼きしない」ということは確かだ」ということは間違いだ"が導かれる
2. 推論1と事実1から、推論2: "この均衡は麻酔法だということはない"が導かれる
3. 推論2と事実15から、推論3: "その緊箍は唾液でない"が導かれる
4. 推論3と事実4から、推論4: "「この意気地は徳間文庫であるかもしくは唾液であるかどちらもである」ということは成り立たない"が導かれる
5. 推論4と事実3から、推論5: "この意気地はぴりっとしない"が導かれる
6. 事実2と事実13から、推論6: "「この意気地は抜け出さないけれど乳臭い」ということは成り立つということはない"が導かれる
7. 事実6と推論6から、推論7: "この意気地は餓鬼っぽくない"が導かれる
8. 推論5と推論7から、仮説が導かれる

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