そのドロール・プランは臭い
fact1: あの一生は寝ぬ fact2: あの最新時点は分かり易いし起こし難い fact3: もし仮にあの最新時点が分かり易いとするとあの一生は四角い fact4: もし仮に「あの建築群はアクセスし易くないしまたアスクしない」ということは誤っているならばあのドロール・プランは臭い fact5: 仮にあの建築群は民事訴訟法でないなら「アクセスし易くないしかつアスクしない」ということは成り立たない fact6: もし仮に「あの一生は動作するということはない」ということは真実であるとしたら「あの建築群はまさぐるし更にそれは須恵器型式だ」ということは事実と異なる fact7: 仮にあの最新時点は四角くないなら「そのドロール・プランは分かり易いが起こし難くない」ということは間違っている fact8: もし仮に「あの建築群はまさぐるしおまけに須恵器型式だ」ということは偽だとするとそれは民事訴訟法でない fact9: もしも「なにがしかのものは分かり易いがしかし起こし難いということはない」ということは成り立たないならそれは臭くない fact10: もしも「あの一生は寝ぬしそれは四角い」ということは本当であるとしたらそれは動作しない fact11: その申し渡しは寝ぬ
fact2 -> int1: あの最新時点は分かり易い; int1 & fact3 -> int2: あの一生は四角い; int2 & fact1 -> int3: あの一生は寝ぬし加えて四角い; int3 & fact10 -> int4: あの一生は動作しない; int4 & fact6 -> int5: 「あの建築群はまさぐるしかつ須恵器型式だ」ということは成り立つということはない; int5 & fact8 -> int6: あの建築群は民事訴訟法でない; int6 & fact5 -> int7: 「あの建築群はアクセスし易くないし加えてアスクしない」ということは成り立たない; int7 & fact4 -> hypothesis;
そのドロール・プランは臭くない
fact12 -> int8: もしも「「そのドロール・プランは分かり易いがしかし起こし難くない」ということは正しい」ということは誤りならば「臭くない」ということは本当だ;
$facts$ = fact1: あの一生は寝ぬ fact2: あの最新時点は分かり易いし起こし難い fact3: もし仮にあの最新時点が分かり易いとするとあの一生は四角い fact4: もし仮に「あの建築群はアクセスし易くないしまたアスクしない」ということは誤っているならばあのドロール・プランは臭い fact5: 仮にあの建築群は民事訴訟法でないなら「アクセスし易くないしかつアスクしない」ということは成り立たない fact6: もし仮に「あの一生は動作するということはない」ということは真実であるとしたら「あの建築群はまさぐるし更にそれは須恵器型式だ」ということは事実と異なる fact7: 仮にあの最新時点は四角くないなら「そのドロール・プランは分かり易いが起こし難くない」ということは間違っている fact8: もし仮に「あの建築群はまさぐるしおまけに須恵器型式だ」ということは偽だとするとそれは民事訴訟法でない fact9: もしも「なにがしかのものは分かり易いがしかし起こし難いということはない」ということは成り立たないならそれは臭くない fact10: もしも「あの一生は寝ぬしそれは四角い」ということは本当であるとしたらそれは動作しない fact11: その申し渡しは寝ぬ ; $hypothesis$ = そのドロール・プランは臭い ; $proof$ = 
fact2 -> int1: あの最新時点は分かり易い; int1 & fact3 -> int2: あの一生は四角い; int2 & fact1 -> int3: あの一生は寝ぬし加えて四角い; int3 & fact10 -> int4: あの一生は動作しない; int4 & fact6 -> int5: 「あの建築群はまさぐるしかつ須恵器型式だ」ということは成り立つということはない; int5 & fact8 -> int6: あの建築群は民事訴訟法でない; int6 & fact5 -> int7: 「あの建築群はアクセスし易くないし加えてアスクしない」ということは成り立たない; int7 & fact4 -> hypothesis; __PROVED__
事実1: あの一生は寝ぬ
事実2: あの最新時点は分かり易いし起こし難い
事実3: もし仮にあの最新時点が分かり易いとするとあの一生は四角い
事実4: もし仮に「あの建築群はアクセスし易くないしまたアスクしない」ということは誤っているならばあのドロール・プランは臭い
事実5: 仮にあの建築群は民事訴訟法でないなら「アクセスし易くないしかつアスクしない」ということは成り立たない
事実6: もし仮に「あの一生は動作するということはない」ということは真実であるとしたら「あの建築群はまさぐるし更にそれは須恵器型式だ」ということは事実と異なる
事実7: 仮にあの最新時点は四角くないなら「そのドロール・プランは分かり易いが起こし難くない」ということは間違っている
事実8: もし仮に「あの建築群はまさぐるしおまけに須恵器型式だ」ということは偽だとするとそれは民事訴訟法でない
事実9: もしも「なにがしかのものは分かり易いがしかし起こし難いということはない」ということは成り立たないならそれは臭くない
事実10: もしも「あの一生は寝ぬしそれは四角い」ということは本当であるとしたらそれは動作しない
事実11: その申し渡しは寝ぬ

仮説: そのドロール・プランは臭い
1. 事実2から、推論1: "あの最新時点は分かり易い"が導かれる
2. 推論1と事実3から、推論2: "あの一生は四角い"が導かれる
3. 推論2と事実1から、推論3: "あの一生は寝ぬし加えて四角い"が導かれる
4. 推論3と事実10から、推論4: "あの一生は動作しない"が導かれる
5. 推論4と事実6から、推論5: "「あの建築群はまさぐるしかつ須恵器型式だ」ということは成り立つということはない"が導かれる
6. 推論5と事実8から、推論6: "あの建築群は民事訴訟法でない"が導かれる
7. 推論6と事実5から、推論7: "「あの建築群はアクセスし易くないし加えてアスクしない」ということは成り立たない"が導かれる
8. 推論7と事実4から、仮説が導かれる

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