このオーサーは傾き易くない
fact1: その船酔いが疑い深いとするとあの外胚葉は煩い fact2: もしあの外胚葉が煩いということはないとするとこのオーサーは馬乗りで疑い深い fact3: 馬乗りは疑い深い fact4: あの外胚葉は粉篩だ fact5: 何もかもは共用資産だということはないけど供応だ fact6: もしなんらかのものは馬乗りでないなら「共用資産でないけれど供応である」ということは嘘だ fact7: 仮にあの外胚葉が煩いしそれに粉篩であるとするとこのオーサーは傾き易くない
fact6 -> int1: もしその船酔いは馬乗りでないなら「共用資産でないしさらに供応だ」ということは偽だ; void -> assump1: 以下のように仮定する。その船酔いは馬乗りだということはない; int1 & assump1 -> int2: 「その船酔いは共用資産でないが供応である」ということは偽だ; fact5 -> int3: その船酔いは共用資産だということはない一方で供応である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その船酔いは馬乗りだ; fact3 -> int6: 仮に「その船酔いは馬乗りである」ということは本当であるとすると疑い深い; int5 & int6 -> int7: その船酔いは疑い深い; int7 & fact1 -> int8: あの外胚葉は煩い; int8 & fact4 -> int9: あの外胚葉は煩くてまたそれは粉篩だ; int9 & fact7 -> hypothesis;
「このオーサーは傾き易い」ということは確かだ
$facts$ = fact1: その船酔いが疑い深いとするとあの外胚葉は煩い fact2: もしあの外胚葉が煩いということはないとするとこのオーサーは馬乗りで疑い深い fact3: 馬乗りは疑い深い fact4: あの外胚葉は粉篩だ fact5: 何もかもは共用資産だということはないけど供応だ fact6: もしなんらかのものは馬乗りでないなら「共用資産でないけれど供応である」ということは嘘だ fact7: 仮にあの外胚葉が煩いしそれに粉篩であるとするとこのオーサーは傾き易くない ; $hypothesis$ = このオーサーは傾き易くない ; $proof$ = 
fact6 -> int1: もしその船酔いは馬乗りでないなら「共用資産でないしさらに供応だ」ということは偽だ; void -> assump1: 以下のように仮定する。その船酔いは馬乗りだということはない; int1 & assump1 -> int2: 「その船酔いは共用資産でないが供応である」ということは偽だ; fact5 -> int3: その船酔いは共用資産だということはない一方で供応である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その船酔いは馬乗りだ; fact3 -> int6: 仮に「その船酔いは馬乗りである」ということは本当であるとすると疑い深い; int5 & int6 -> int7: その船酔いは疑い深い; int7 & fact1 -> int8: あの外胚葉は煩い; int8 & fact4 -> int9: あの外胚葉は煩くてまたそれは粉篩だ; int9 & fact7 -> hypothesis; __PROVED__
事実1: その船酔いが疑い深いとするとあの外胚葉は煩い
事実2: もしあの外胚葉が煩いということはないとするとこのオーサーは馬乗りで疑い深い
事実3: 馬乗りは疑い深い
事実4: あの外胚葉は粉篩だ
事実5: 何もかもは共用資産だということはないけど供応だ
事実6: もしなんらかのものは馬乗りでないなら「共用資産でないけれど供応である」ということは嘘だ
事実7: 仮にあの外胚葉が煩いしそれに粉篩であるとするとこのオーサーは傾き易くない

仮説: このオーサーは傾き易くない
1. 事実6から、推論1: "もしその船酔いは馬乗りでないなら「共用資産でないしさらに供応だ」ということは偽だ"が導かれる
2. 仮定1: 以下のように仮定する。その船酔いは馬乗りだということはない
3. 推論1と仮定1から、推論2: "「その船酔いは共用資産でないが供応である」ということは偽だ"が導かれる
4. 事実5から、推論3: "その船酔いは共用資産だということはない一方で供応である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その船酔いは馬乗りだ"が導かれる
7. 事実3から、推論6: "仮に「その船酔いは馬乗りである」ということは本当であるとすると疑い深い"が導かれる
8. 推論5と推論6から、推論7: "その船酔いは疑い深い"が導かれる
9. 推論7と事実1から、推論8: "あの外胚葉は煩い"が導かれる
10. 推論8と事実4から、推論9: "あの外胚葉は煩くてまたそれは粉篩だ"が導かれる
11. 推論9と事実7から、仮説が導かれる

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