「その同・廊下は千九百六十年代以降であるけど二人乗りだということはない」ということは成り立たない
fact1: 「取得し易くない」ものはある fact2: 取得し易いものは脂っこいということはないとしたら「あのバカロレアは二人乗りだ」ということは成り立つ fact3: 「あの中規模以上は取得し易いということはない」ということは真実だ fact4: もし仮にその同・廊下が取得し易いとしたらあのバカロレアは生え易いが千九百六十年代以降でない fact5: 「あの中規模以上は千九百六十年代以降であるということはない」ということは成り立つということはない fact6: もし仮に取得し易くないものは脂っこくないとすれば「あのバカロレアは二人乗りだ」ということは正しい fact7: あの中規模以上は取得し易くないしおまけにそれは脂っこくない fact8: その同・廊下が脂っこいとしたらそれは取得し易い fact9: もし仮にあのバカロレアが二人乗りならばその同・廊下は千九百六十年代以降であるけど二人乗りであるということはない fact10: もし仮にあのバカロレアが取得し易いとしたらあの中規模以上は取得し易いということはない fact11: その同・廊下は二人乗りだということはない
fact7 -> int1: 「取得し易いということはないしまた脂っこくない」物はある; int1 & fact6 -> int2: あのバカロレアは二人乗りである; int2 & fact9 -> hypothesis;
あのバカロレアは生え易いけど千九百六十年代以降でない
$facts$ = fact1: 「取得し易くない」ものはある fact2: 取得し易いものは脂っこいということはないとしたら「あのバカロレアは二人乗りだ」ということは成り立つ fact3: 「あの中規模以上は取得し易いということはない」ということは真実だ fact4: もし仮にその同・廊下が取得し易いとしたらあのバカロレアは生え易いが千九百六十年代以降でない fact5: 「あの中規模以上は千九百六十年代以降であるということはない」ということは成り立つということはない fact6: もし仮に取得し易くないものは脂っこくないとすれば「あのバカロレアは二人乗りだ」ということは正しい fact7: あの中規模以上は取得し易くないしおまけにそれは脂っこくない fact8: その同・廊下が脂っこいとしたらそれは取得し易い fact9: もし仮にあのバカロレアが二人乗りならばその同・廊下は千九百六十年代以降であるけど二人乗りであるということはない fact10: もし仮にあのバカロレアが取得し易いとしたらあの中規模以上は取得し易いということはない fact11: その同・廊下は二人乗りだということはない ; $hypothesis$ = 「その同・廊下は千九百六十年代以降であるけど二人乗りだということはない」ということは成り立たない ; $proof$ = 
fact7 -> int1: 「取得し易いということはないしまた脂っこくない」物はある; int1 & fact6 -> int2: あのバカロレアは二人乗りである; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: 「取得し易くない」ものはある
事実2: 取得し易いものは脂っこいということはないとしたら「あのバカロレアは二人乗りだ」ということは成り立つ
事実3: 「あの中規模以上は取得し易いということはない」ということは真実だ
事実4: もし仮にその同・廊下が取得し易いとしたらあのバカロレアは生え易いが千九百六十年代以降でない
事実5: 「あの中規模以上は千九百六十年代以降であるということはない」ということは成り立つということはない
事実6: もし仮に取得し易くないものは脂っこくないとすれば「あのバカロレアは二人乗りだ」ということは正しい
事実7: あの中規模以上は取得し易くないしおまけにそれは脂っこくない
事実8: その同・廊下が脂っこいとしたらそれは取得し易い
事実9: もし仮にあのバカロレアが二人乗りならばその同・廊下は千九百六十年代以降であるけど二人乗りであるということはない
事実10: もし仮にあのバカロレアが取得し易いとしたらあの中規模以上は取得し易いということはない
事実11: その同・廊下は二人乗りだということはない

仮説: 「その同・廊下は千九百六十年代以降であるけど二人乗りだということはない」ということは成り立たない
1. 事実7から、推論1: "「取得し易いということはないしまた脂っこくない」物はある"が導かれる
2. 推論1と事実6から、推論2: "あのバカロレアは二人乗りである"が導かれる
3. 推論2と事実9から、仮説が否定される

よって、仮説が否定されました。