あのゲレンデバーゲンはワールドカップでない
fact1: 「もしも「その十三世紀代は太り易いということはないし更にしょっぱくない」ということは間違っていればあのゲレンデバーゲンはしょっぱくない」ということは成り立つ fact2: もしその十三世紀代が気怠くないならあのゲレンデバーゲンはしょっぱくてワールドカップである fact3: あの参与は北東であるということはない fact4: もしもあのゲレンデバーゲンが撃墜出来るししかもそれは校則であるならば気怠くらない fact5: あのゲレンデバーゲンは気怠い fact6: あの馴染み客は表現し難いし気怠い fact7: もし仮にしょっぱいものが気怠いとしたらそれはワールドカップだということはない fact8: もしあのゲレンデバーゲンがしょっぱくないとするとこのサツマ芋はワールドカップだし書き過ぎる fact9: あのＴ君はしょっぱい fact10: あのゲレンデバーゲンはしょっぱい
fact10 & fact5 -> int1: あのゲレンデバーゲンはしょっぱくておまけに気怠い; fact7 -> int2: もしもあのゲレンデバーゲンがしょっぱいしそれが気怠いならばワールドカップでない; int1 & int2 -> hypothesis;
fact10 & fact5 -> int1: ({A}{a} & {B}{a}); fact7 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
あのゲレンデバーゲンはワールドカップだ
fact12 -> int3: 「北東でない」物はある;
$facts$ = fact1: 「もしも「その十三世紀代は太り易いということはないし更にしょっぱくない」ということは間違っていればあのゲレンデバーゲンはしょっぱくない」ということは成り立つ fact2: もしその十三世紀代が気怠くないならあのゲレンデバーゲンはしょっぱくてワールドカップである fact3: あの参与は北東であるということはない fact4: もしもあのゲレンデバーゲンが撃墜出来るししかもそれは校則であるならば気怠くらない fact5: あのゲレンデバーゲンは気怠い fact6: あの馴染み客は表現し難いし気怠い fact7: もし仮にしょっぱいものが気怠いとしたらそれはワールドカップだということはない fact8: もしあのゲレンデバーゲンがしょっぱくないとするとこのサツマ芋はワールドカップだし書き過ぎる fact9: あのＴ君はしょっぱい fact10: あのゲレンデバーゲンはしょっぱい ; $hypothesis$ = あのゲレンデバーゲンはワールドカップでない ; $proof$ = 
fact10 & fact5 -> int1: あのゲレンデバーゲンはしょっぱくておまけに気怠い; fact7 -> int2: もしもあのゲレンデバーゲンがしょっぱいしそれが気怠いならばワールドカップでない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「もしも「その十三世紀代は太り易いということはないし更にしょっぱくない」ということは間違っていればあのゲレンデバーゲンはしょっぱくない」ということは成り立つ
事実2: もしその十三世紀代が気怠くないならあのゲレンデバーゲンはしょっぱくてワールドカップである
事実3: あの参与は北東であるということはない
事実4: もしもあのゲレンデバーゲンが撃墜出来るししかもそれは校則であるならば気怠くらない
事実5: あのゲレンデバーゲンは気怠い
事実6: あの馴染み客は表現し難いし気怠い
事実7: もし仮にしょっぱいものが気怠いとしたらそれはワールドカップだということはない
事実8: もしあのゲレンデバーゲンがしょっぱくないとするとこのサツマ芋はワールドカップだし書き過ぎる
事実9: あのＴ君はしょっぱい
事実10: あのゲレンデバーゲンはしょっぱい

仮説: あのゲレンデバーゲンはワールドカップでない
1. 事実10と事実5から、推論1: "あのゲレンデバーゲンはしょっぱくておまけに気怠い"が導かれる
2. 事実7から、推論2: "もしもあのゲレンデバーゲンがしょっぱいしそれが気怠いならばワールドカップでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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