あのオーストラリア原住民が出来易いとするとこのＭ等は打っ付けるということはないがそれは締め殺す
fact1: この近衛家が人間臭くないか三種類以上であるかあるいは両方ともであるならばあのオーストラリア原住民は捕まえ易い fact2: もし仮にこの近衛家が人間臭くないとすればあのオーストラリア原住民は捕まえ易い fact3: この近衛家は人間臭いかあるいは三種類以上である fact4: あのオーストラリア原住民は動揺し易いしそれは吸い尽くす fact5: 仮にあのオーストラリア原住民が出来易いとすればこのＭ等は打っ付けるし加えて締め殺す fact6: このＭ等は締め殺す fact7: このＭ等は打っ付けるし加えて締め殺す fact8: もしもあのオーストラリア原住民が出来易いとするとこのＭ等は締め殺す fact9: あのオーストラリア原住民が肌寒いしまたそれが三種類以上だとすれば故無くない fact10: このＭ等は人間臭い fact11: この近衛家は三種類以上だ fact12: この近衛家が締め殺すしその上グラインドする fact13: 「もしもあのオーストラリア原住民が締め殺さないとしたらこのＭ等は打っ付けるしおまけに締め殺す」ということは確かだ fact14: もしこのＭ等が打っ付けないとしたらこの近衛家は人間臭くないがしかし打っ付ける fact15: このＭ等は捕まえ易いししかもそれは締め殺す fact16: 仮にこの近衛家が出来易いとしたらあのオーストラリア原住民は人間臭くないが締め殺す fact17: もし仮にあのオーストラリア原住民が三種類以上ならばこの近衛家は締め殺さないがそれは出来易い fact18: もしあのオーストラリア原住民が締め殺さないとするとこのＭ等は締め殺す fact19: もし仮にあのオーストラリア原住民が人間臭いならばこのＭ等は締め殺さないが捕まえ易い fact20: もし「「捕まえ易くてさらに出来易い」ということは偽な」物があるならあの邪宗門は捕まえ易いということはない fact21: あの始発駅は出来易くない fact22: 捕まえ易いし出来易い物は締め殺さない fact23: もし仮にあのオーストラリア原住民が締め殺さないとするとこのＭ等は打っ付けないが締め殺す fact24: そのＰＦＳ計画は人間臭い
fact11 -> int1: この近衛家は人間臭くないかもしくはそれは三種類以上である; int1 & fact1 -> int2: あのオーストラリア原住民は捕まえ易い; void -> assump1: 以下のように仮定する。あのオーストラリア原住民は出来易い; int2 & assump1 -> int3: あのオーストラリア原住民は捕まえ易いものであってかつ出来易い; fact22 -> int4: あのオーストラリア原住民は捕まえ易いし出来易いとすると締め殺さない; int3 & int4 -> int5: あのオーストラリア原住民は締め殺さない; int5 & fact23 -> int6: このＭ等は打っ付けないけれど締め殺す; [assump1] & int6 -> hypothesis;
あの邪宗門は人間臭い
$facts$ = fact1: この近衛家が人間臭くないか三種類以上であるかあるいは両方ともであるならばあのオーストラリア原住民は捕まえ易い fact2: もし仮にこの近衛家が人間臭くないとすればあのオーストラリア原住民は捕まえ易い fact3: この近衛家は人間臭いかあるいは三種類以上である fact4: あのオーストラリア原住民は動揺し易いしそれは吸い尽くす fact5: 仮にあのオーストラリア原住民が出来易いとすればこのＭ等は打っ付けるし加えて締め殺す fact6: このＭ等は締め殺す fact7: このＭ等は打っ付けるし加えて締め殺す fact8: もしもあのオーストラリア原住民が出来易いとするとこのＭ等は締め殺す fact9: あのオーストラリア原住民が肌寒いしまたそれが三種類以上だとすれば故無くない fact10: このＭ等は人間臭い fact11: この近衛家は三種類以上だ fact12: この近衛家が締め殺すしその上グラインドする fact13: 「もしもあのオーストラリア原住民が締め殺さないとしたらこのＭ等は打っ付けるしおまけに締め殺す」ということは確かだ fact14: もしこのＭ等が打っ付けないとしたらこの近衛家は人間臭くないがしかし打っ付ける fact15: このＭ等は捕まえ易いししかもそれは締め殺す fact16: 仮にこの近衛家が出来易いとしたらあのオーストラリア原住民は人間臭くないが締め殺す fact17: もし仮にあのオーストラリア原住民が三種類以上ならばこの近衛家は締め殺さないがそれは出来易い fact18: もしあのオーストラリア原住民が締め殺さないとするとこのＭ等は締め殺す fact19: もし仮にあのオーストラリア原住民が人間臭いならばこのＭ等は締め殺さないが捕まえ易い fact20: もし「「捕まえ易くてさらに出来易い」ということは偽な」物があるならあの邪宗門は捕まえ易いということはない fact21: あの始発駅は出来易くない fact22: 捕まえ易いし出来易い物は締め殺さない fact23: もし仮にあのオーストラリア原住民が締め殺さないとするとこのＭ等は打っ付けないが締め殺す fact24: そのＰＦＳ計画は人間臭い ; $hypothesis$ = あのオーストラリア原住民が出来易いとするとこのＭ等は打っ付けるということはないがそれは締め殺す ; $proof$ = 
fact11 -> int1: この近衛家は人間臭くないかもしくはそれは三種類以上である; int1 & fact1 -> int2: あのオーストラリア原住民は捕まえ易い; void -> assump1: 以下のように仮定する。あのオーストラリア原住民は出来易い; int2 & assump1 -> int3: あのオーストラリア原住民は捕まえ易いものであってかつ出来易い; fact22 -> int4: あのオーストラリア原住民は捕まえ易いし出来易いとすると締め殺さない; int3 & int4 -> int5: あのオーストラリア原住民は締め殺さない; int5 & fact23 -> int6: このＭ等は打っ付けないけれど締め殺す; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この近衛家が人間臭くないか三種類以上であるかあるいは両方ともであるならばあのオーストラリア原住民は捕まえ易い
事実2: もし仮にこの近衛家が人間臭くないとすればあのオーストラリア原住民は捕まえ易い
事実3: この近衛家は人間臭いかあるいは三種類以上である
事実4: あのオーストラリア原住民は動揺し易いしそれは吸い尽くす
事実5: 仮にあのオーストラリア原住民が出来易いとすればこのＭ等は打っ付けるし加えて締め殺す
事実6: このＭ等は締め殺す
事実7: このＭ等は打っ付けるし加えて締め殺す
事実8: もしもあのオーストラリア原住民が出来易いとするとこのＭ等は締め殺す
事実9: あのオーストラリア原住民が肌寒いしまたそれが三種類以上だとすれば故無くない
事実10: このＭ等は人間臭い
事実11: この近衛家は三種類以上だ
事実12: この近衛家が締め殺すしその上グラインドする
事実13: 「もしもあのオーストラリア原住民が締め殺さないとしたらこのＭ等は打っ付けるしおまけに締め殺す」ということは確かだ
事実14: もしこのＭ等が打っ付けないとしたらこの近衛家は人間臭くないがしかし打っ付ける
事実15: このＭ等は捕まえ易いししかもそれは締め殺す
事実16: 仮にこの近衛家が出来易いとしたらあのオーストラリア原住民は人間臭くないが締め殺す
事実17: もし仮にあのオーストラリア原住民が三種類以上ならばこの近衛家は締め殺さないがそれは出来易い
事実18: もしあのオーストラリア原住民が締め殺さないとするとこのＭ等は締め殺す
事実19: もし仮にあのオーストラリア原住民が人間臭いならばこのＭ等は締め殺さないが捕まえ易い
事実20: もし「「捕まえ易くてさらに出来易い」ということは偽な」物があるならあの邪宗門は捕まえ易いということはない
事実21: あの始発駅は出来易くない
事実22: 捕まえ易いし出来易い物は締め殺さない
事実23: もし仮にあのオーストラリア原住民が締め殺さないとするとこのＭ等は打っ付けないが締め殺す
事実24: そのＰＦＳ計画は人間臭い

仮説: あのオーストラリア原住民が出来易いとするとこのＭ等は打っ付けるということはないがそれは締め殺す
1. 事実11から、推論1: "この近衛家は人間臭くないかもしくはそれは三種類以上である"が導かれる
2. 推論1と事実1から、推論2: "あのオーストラリア原住民は捕まえ易い"が導かれる
3. 仮定1: 以下のように仮定する。あのオーストラリア原住民は出来易い
4. 推論2と仮定1から、推論3: "あのオーストラリア原住民は捕まえ易いものであってかつ出来易い"が導かれる
5. 事実22から、推論4: "あのオーストラリア原住民は捕まえ易いし出来易いとすると締め殺さない"が導かれる
6. 推論3と推論4から、推論5: "あのオーストラリア原住民は締め殺さない"が導かれる
7. 推論5と事実23から、推論6: "このＭ等は打っ付けないけれど締め殺す"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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