その豚箱は退学しない
fact1: そのアルミフェンスは捨てるかまたは退学しないかあるいは両方ともだ fact2: あの代理説が無理無くないとすればその豚箱は退学する fact3: その豚箱は心地良くない fact4: そのアルミフェンスは無理無くない fact5: その豚箱は笑えるかそれは賑々しいということはないか両方だ fact6: もし仮に「あの自家用乗用車は心地良くない」ということは成り立つならあの代理説は心地良いか無理無くない fact7: もし仮にそのアルミフェンスがセットアップしないけど捨てるならばあの自家用乗用車は心地良くない fact8: もし仮にあの代理説はセットアップしないならば「そのアルミフェンスは心地良くない」ということは成り立つ fact9: そのアルミフェンスはセットアップしないが捨てる fact10: もしもそのアルミフェンスがセットアップするしさらに捨てるならあの自家用乗用車は心地良くない fact11: そのアルミフェンスが無理無いということはない一方でセットアップするとするとあの代理説は心地良くない fact12: もしあの代理説が無理無いということはないならばあの豚箱は退学しない fact13: 仮にあの代理説が心地良いとすればその豚箱は退学しない fact14: もしもそのアルミフェンスが無理無いということはないし心地良くないとすればその豚箱は退学する fact15: そのアルミフェンスはセットアップするということはない fact16: その豚箱はセットアップしない
fact7 & fact9 -> int1: あの自家用乗用車は心地良くない; int1 & fact6 -> int2: あの代理説は心地良いかそれは無理無くない; int2 & fact13 & fact12 -> hypothesis;
fact7 & fact9 -> int1: ¬{B}{b}; int1 & fact6 -> int2: ({B}{c} v ¬{A}{c}); int2 & fact13 & fact12 -> hypothesis;
その豚箱は退学する
$facts$ = fact1: そのアルミフェンスは捨てるかまたは退学しないかあるいは両方ともだ fact2: あの代理説が無理無くないとすればその豚箱は退学する fact3: その豚箱は心地良くない fact4: そのアルミフェンスは無理無くない fact5: その豚箱は笑えるかそれは賑々しいということはないか両方だ fact6: もし仮に「あの自家用乗用車は心地良くない」ということは成り立つならあの代理説は心地良いか無理無くない fact7: もし仮にそのアルミフェンスがセットアップしないけど捨てるならばあの自家用乗用車は心地良くない fact8: もし仮にあの代理説はセットアップしないならば「そのアルミフェンスは心地良くない」ということは成り立つ fact9: そのアルミフェンスはセットアップしないが捨てる fact10: もしもそのアルミフェンスがセットアップするしさらに捨てるならあの自家用乗用車は心地良くない fact11: そのアルミフェンスが無理無いということはない一方でセットアップするとするとあの代理説は心地良くない fact12: もしあの代理説が無理無いということはないならばあの豚箱は退学しない fact13: 仮にあの代理説が心地良いとすればその豚箱は退学しない fact14: もしもそのアルミフェンスが無理無いということはないし心地良くないとすればその豚箱は退学する fact15: そのアルミフェンスはセットアップするということはない fact16: その豚箱はセットアップしない ; $hypothesis$ = その豚箱は退学しない ; $proof$ = 
fact7 & fact9 -> int1: あの自家用乗用車は心地良くない; int1 & fact6 -> int2: あの代理説は心地良いかそれは無理無くない; int2 & fact13 & fact12 -> hypothesis; __PROVED__
事実1: そのアルミフェンスは捨てるかまたは退学しないかあるいは両方ともだ
事実2: あの代理説が無理無くないとすればその豚箱は退学する
事実3: その豚箱は心地良くない
事実4: そのアルミフェンスは無理無くない
事実5: その豚箱は笑えるかそれは賑々しいということはないか両方だ
事実6: もし仮に「あの自家用乗用車は心地良くない」ということは成り立つならあの代理説は心地良いか無理無くない
事実7: もし仮にそのアルミフェンスがセットアップしないけど捨てるならばあの自家用乗用車は心地良くない
事実8: もし仮にあの代理説はセットアップしないならば「そのアルミフェンスは心地良くない」ということは成り立つ
事実9: そのアルミフェンスはセットアップしないが捨てる
事実10: もしもそのアルミフェンスがセットアップするしさらに捨てるならあの自家用乗用車は心地良くない
事実11: そのアルミフェンスが無理無いということはない一方でセットアップするとするとあの代理説は心地良くない
事実12: もしあの代理説が無理無いということはないならばあの豚箱は退学しない
事実13: 仮にあの代理説が心地良いとすればその豚箱は退学しない
事実14: もしもそのアルミフェンスが無理無いということはないし心地良くないとすればその豚箱は退学する
事実15: そのアルミフェンスはセットアップするということはない
事実16: その豚箱はセットアップしない

仮説: その豚箱は退学しない
1. 事実7と事実9から、推論1: "あの自家用乗用車は心地良くない"が導かれる
2. 推論1と事実6から、推論2: "あの代理説は心地良いかそれは無理無くない"が導かれる
3. 推論2と事実13と事実12から、仮説が導かれる

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