あのロン毛はぺてんであるし再輸出だ
fact1: 仮にとあるものはぺてんでないとすると建屋であってしかも涙ぐましい fact2: あのロン毛が建屋だしさらに圧縮形である fact3: 「あのロン毛はネストしないしおまけに圧縮形でない」ということは成り立たない fact4: もしもあの訴えはブレインストーミングでないとしたら「あのロン毛は生き辛くなくてしかも再輸出でない」ということは事実と異なる fact5: もしもあるものが圧縮形でないしさらにそれはブレインストーミングでないならば建屋だということはない fact6: あの訴えはブレインストーミングでない fact7: 「あの訴えは生き辛い」ということは正しい fact8: もしある物が圧縮形だとするとぺてんだ fact9: この左近はぺてんだ fact10: 「その全身症状はスワップファイルでない一方でそれは施設内外だ」ということは偽である fact11: その年の暮れは再輸出でないし生き辛いということはない fact12: もし仮に「その年の暮れは再輸出でない」ということは真実であるとすればそれはぺてんでない fact13: あのロン毛は奥深い fact14: この付合契約は再輸出だ fact15: もし「「なんらかのものは生き辛くないし更に再輸出でない」ということは正しい」ということは嘘であるとするとそれは再輸出である fact16: もしある物は建屋でないとすれば「それがぺてんだしそれは再輸出だ」ということは成り立たない
fact2 -> int1: あのロン毛は圧縮形だ; fact8 -> int2: もしあのロン毛は圧縮形であるとすると「ぺてんである」ということは確かだ; int1 & int2 -> int3: あのロン毛はぺてんである; fact4 & fact6 -> int4: 「あのロン毛は生き辛いということはなくておまけに再輸出でない」ということは間違っている; fact15 -> int5: 仮に「あのロン毛は生き辛くなくて再輸出でない」ということは成り立たないとすればそれは再輸出だ; int4 & int5 -> int6: あのロン毛は再輸出である; int3 & int6 -> hypothesis;
fact2 -> int1: {B}{a}; fact8 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact4 & fact6 -> int4: ¬(¬{F}{a} & ¬{D}{a}); fact15 -> int5: ¬(¬{F}{a} & ¬{D}{a}) -> {D}{a}; int4 & int5 -> int6: {D}{a}; int3 & int6 -> hypothesis;
その年の暮れは涙ぐましいしそれに陳列台だ
fact18 -> int7: もし仮にその年の暮れはぺてんでないならば「それは建屋でその上涙ぐましい」ということは誤りでない; fact17 -> int8: その年の暮れは再輸出でない; fact19 & int8 -> int9: その年の暮れはぺてんでない; int7 & int9 -> int10: その年の暮れは建屋であるしそれにそれは涙ぐましい; int10 -> int11: その年の暮れは涙ぐましい;
$facts$ = fact1: 仮にとあるものはぺてんでないとすると建屋であってしかも涙ぐましい fact2: あのロン毛が建屋だしさらに圧縮形である fact3: 「あのロン毛はネストしないしおまけに圧縮形でない」ということは成り立たない fact4: もしもあの訴えはブレインストーミングでないとしたら「あのロン毛は生き辛くなくてしかも再輸出でない」ということは事実と異なる fact5: もしもあるものが圧縮形でないしさらにそれはブレインストーミングでないならば建屋だということはない fact6: あの訴えはブレインストーミングでない fact7: 「あの訴えは生き辛い」ということは正しい fact8: もしある物が圧縮形だとするとぺてんだ fact9: この左近はぺてんだ fact10: 「その全身症状はスワップファイルでない一方でそれは施設内外だ」ということは偽である fact11: その年の暮れは再輸出でないし生き辛いということはない fact12: もし仮に「その年の暮れは再輸出でない」ということは真実であるとすればそれはぺてんでない fact13: あのロン毛は奥深い fact14: この付合契約は再輸出だ fact15: もし「「なんらかのものは生き辛くないし更に再輸出でない」ということは正しい」ということは嘘であるとするとそれは再輸出である fact16: もしある物は建屋でないとすれば「それがぺてんだしそれは再輸出だ」ということは成り立たない ; $hypothesis$ = あのロン毛はぺてんであるし再輸出だ ; $proof$ = 
fact2 -> int1: あのロン毛は圧縮形だ; fact8 -> int2: もしあのロン毛は圧縮形であるとすると「ぺてんである」ということは確かだ; int1 & int2 -> int3: あのロン毛はぺてんである; fact4 & fact6 -> int4: 「あのロン毛は生き辛いということはなくておまけに再輸出でない」ということは間違っている; fact15 -> int5: 仮に「あのロン毛は生き辛くなくて再輸出でない」ということは成り立たないとすればそれは再輸出だ; int4 & int5 -> int6: あのロン毛は再輸出である; int3 & int6 -> hypothesis; __PROVED__
事実1: 仮にとあるものはぺてんでないとすると建屋であってしかも涙ぐましい
事実2: あのロン毛が建屋だしさらに圧縮形である
事実3: 「あのロン毛はネストしないしおまけに圧縮形でない」ということは成り立たない
事実4: もしもあの訴えはブレインストーミングでないとしたら「あのロン毛は生き辛くなくてしかも再輸出でない」ということは事実と異なる
事実5: もしもあるものが圧縮形でないしさらにそれはブレインストーミングでないならば建屋だということはない
事実6: あの訴えはブレインストーミングでない
事実7: 「あの訴えは生き辛い」ということは正しい
事実8: もしある物が圧縮形だとするとぺてんだ
事実9: この左近はぺてんだ
事実10: 「その全身症状はスワップファイルでない一方でそれは施設内外だ」ということは偽である
事実11: その年の暮れは再輸出でないし生き辛いということはない
事実12: もし仮に「その年の暮れは再輸出でない」ということは真実であるとすればそれはぺてんでない
事実13: あのロン毛は奥深い
事実14: この付合契約は再輸出だ
事実15: もし「「なんらかのものは生き辛くないし更に再輸出でない」ということは正しい」ということは嘘であるとするとそれは再輸出である
事実16: もしある物は建屋でないとすれば「それがぺてんだしそれは再輸出だ」ということは成り立たない

仮説: あのロン毛はぺてんであるし再輸出だ
1. 事実2から、推論1: "あのロン毛は圧縮形だ"が導かれる
2. 事実8から、推論2: "もしあのロン毛は圧縮形であるとすると「ぺてんである」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "あのロン毛はぺてんである"が導かれる
4. 事実4と事実6から、推論4: "「あのロン毛は生き辛いということはなくておまけに再輸出でない」ということは間違っている"が導かれる
5. 事実15から、推論5: "仮に「あのロン毛は生き辛くなくて再輸出でない」ということは成り立たないとすればそれは再輸出だ"が導かれる
6. 推論4と推論5から、推論6: "あのロン毛は再輸出である"が導かれる
7. 推論3と推論6から、仮説が導かれる

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