あの種々は厚くない
fact1: 仮に動機付けが当て始めるならそれは厚いということはない fact2: あの引水地役権が鷲掴むということはないならそれはアルミニウムであるかもしくは両目視差だということはないか両方ともだ fact3: もし仮になんらかのものが当て始めないならばそれは動機付けであるかそれは厚くないかもしくは両方である fact4: もしなんらかのものは放映するしまた乳鉢なら鷲掴まない fact5: 仮にとある物がアルミニウムであるかあるいはそれは両目視差であるということはないとするとそれは当て始めない fact6: あの種々は動機付けである fact7: あの種々は当て始める fact8: もし「あの種々は当て始めるということはない」ということは成り立てばこの卵焼きは動機付けであるしまた厚い
fact6 & fact7 -> int1: あの種々は動機付けでそれに当て始める; fact1 -> int2: もしもあの種々は動機付けであるしそれに当て始めるならそれは厚くない; int1 & int2 -> hypothesis;
「この卵焼きは厚い」ということは確かである
$facts$ = fact1: 仮に動機付けが当て始めるならそれは厚いということはない fact2: あの引水地役権が鷲掴むということはないならそれはアルミニウムであるかもしくは両目視差だということはないか両方ともだ fact3: もし仮になんらかのものが当て始めないならばそれは動機付けであるかそれは厚くないかもしくは両方である fact4: もしなんらかのものは放映するしまた乳鉢なら鷲掴まない fact5: 仮にとある物がアルミニウムであるかあるいはそれは両目視差であるということはないとするとそれは当て始めない fact6: あの種々は動機付けである fact7: あの種々は当て始める fact8: もし「あの種々は当て始めるということはない」ということは成り立てばこの卵焼きは動機付けであるしまた厚い ; $hypothesis$ = あの種々は厚くない ; $proof$ = 
fact6 & fact7 -> int1: あの種々は動機付けでそれに当て始める; fact1 -> int2: もしもあの種々は動機付けであるしそれに当て始めるならそれは厚くない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に動機付けが当て始めるならそれは厚いということはない
事実2: あの引水地役権が鷲掴むということはないならそれはアルミニウムであるかもしくは両目視差だということはないか両方ともだ
事実3: もし仮になんらかのものが当て始めないならばそれは動機付けであるかそれは厚くないかもしくは両方である
事実4: もしなんらかのものは放映するしまた乳鉢なら鷲掴まない
事実5: 仮にとある物がアルミニウムであるかあるいはそれは両目視差であるということはないとするとそれは当て始めない
事実6: あの種々は動機付けである
事実7: あの種々は当て始める
事実8: もし「あの種々は当て始めるということはない」ということは成り立てばこの卵焼きは動機付けであるしまた厚い

仮説: あの種々は厚くない
1. 事実6と事実7から、推論1: "あの種々は動機付けでそれに当て始める"が導かれる
2. 事実1から、推論2: "もしもあの種々は動機付けであるしそれに当て始めるならそれは厚くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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