その生理は忙しくて加えて思量個不思量底である
fact1: その生理は思量個不思量底だ fact2: 「このホモハビリスは見窄らしくないか思量個不思量底だということはないかまたは両方ともだ」ということは成り立たないとするとあの不可知論は見窄らしくない fact3: 仮にあの中立条約は看過し難いということはないなら「このホモハビリスは見窄らしくないかまたはそれは思量個不思量底でないかもしくはどちらもだ」ということは事実と異なる fact4: このホモハビリスは心置き無いがそれは眠るということはない fact5: もし仮にこのホモハビリスが心置き無いけれどそれが眠らないとすると見窄らしくない fact6: このホモハビリスは思量個不思量底だ fact7: あの中立条約が見窄らしくないしそれにそれが働き難くないならばその生理は忙しい fact8: もしもこのホモハビリスが見窄らしくないとしたらあの中立条約は見窄らしくないしまた働き難いということはない
fact5 & fact4 -> int1: このホモハビリスは見窄らしくない; int1 & fact8 -> int2: あの中立条約は見窄らしくないしまた働き難くない; int2 & fact7 -> int3: その生理は忙しい; int3 & fact1 -> hypothesis;
あの不可知論は働き難い
$facts$ = fact1: その生理は思量個不思量底だ fact2: 「このホモハビリスは見窄らしくないか思量個不思量底だということはないかまたは両方ともだ」ということは成り立たないとするとあの不可知論は見窄らしくない fact3: 仮にあの中立条約は看過し難いということはないなら「このホモハビリスは見窄らしくないかまたはそれは思量個不思量底でないかもしくはどちらもだ」ということは事実と異なる fact4: このホモハビリスは心置き無いがそれは眠るということはない fact5: もし仮にこのホモハビリスが心置き無いけれどそれが眠らないとすると見窄らしくない fact6: このホモハビリスは思量個不思量底だ fact7: あの中立条約が見窄らしくないしそれにそれが働き難くないならばその生理は忙しい fact8: もしもこのホモハビリスが見窄らしくないとしたらあの中立条約は見窄らしくないしまた働き難いということはない ; $hypothesis$ = その生理は忙しくて加えて思量個不思量底である ; $proof$ = 
fact5 & fact4 -> int1: このホモハビリスは見窄らしくない; int1 & fact8 -> int2: あの中立条約は見窄らしくないしまた働き難くない; int2 & fact7 -> int3: その生理は忙しい; int3 & fact1 -> hypothesis; __PROVED__
事実1: その生理は思量個不思量底だ
事実2: 「このホモハビリスは見窄らしくないか思量個不思量底だということはないかまたは両方ともだ」ということは成り立たないとするとあの不可知論は見窄らしくない
事実3: 仮にあの中立条約は看過し難いということはないなら「このホモハビリスは見窄らしくないかまたはそれは思量個不思量底でないかもしくはどちらもだ」ということは事実と異なる
事実4: このホモハビリスは心置き無いがそれは眠るということはない
事実5: もし仮にこのホモハビリスが心置き無いけれどそれが眠らないとすると見窄らしくない
事実6: このホモハビリスは思量個不思量底だ
事実7: あの中立条約が見窄らしくないしそれにそれが働き難くないならばその生理は忙しい
事実8: もしもこのホモハビリスが見窄らしくないとしたらあの中立条約は見窄らしくないしまた働き難いということはない

仮説: その生理は忙しくて加えて思量個不思量底である
1. 事実5と事実4から、推論1: "このホモハビリスは見窄らしくない"が導かれる
2. 推論1と事実8から、推論2: "あの中立条約は見窄らしくないしまた働き難くない"が導かれる
3. 推論2と事実7から、推論3: "その生理は忙しい"が導かれる
4. 推論3と事実1から、仮説が導かれる

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