その複眼はアルキル鎖だ
fact1: その銀器は行い易い fact2: もしその銀器は捧げ持つとすると「その同乗者は行い易い」ということは確かだ fact3: 仮にその同乗者は捧げ持てば「それは行い易い」ということは本当である fact4: 「豌豆はアルキル鎖であるということはない」ということは事実だ fact5: もしその文化現象は豌豆であるとすると「その銀器は捧げ持つ」ということは正しい fact6: その複眼は実施計画書である fact7: 行い易い物は実施計画書だ fact8: その銀器は豌豆であるとすると「その文化現象は捧げ持つ」ということは嘘でない fact9: もしもとある物は豌豆であるとすれば「それはアルキル鎖だけれど捧げ持たない」ということは間違いである fact10: その御世話様は豌豆だ fact11: もし仮にその同乗者が実施計画書であるとしたらその複眼はアルキル鎖だ fact12: その銀器は豌豆だ fact13: その文化現象が行い易いとするとその同乗者は豌豆である fact14: 「その複眼は行い易い」ということは真実だ fact15: 「その文化現象は御休むししかも取得し易い」ということは成り立たない fact16: もしもその複眼が豌豆であるならその文化現象はアルキル鎖である fact17: もし「その文化現象は御休むしまたそれは取得し易い」ということは偽であるならば取得し易いということはない fact18: 取得し易いということはないものは行い易いないし実施計画書でない fact19: その複眼は想像し難い fact20: その文化現象は豌豆だ
fact5 & fact20 -> int1: その銀器は捧げ持つ; int1 & fact2 -> int2: その同乗者は行い易い; fact7 -> int3: その同乗者が行い易いとすれば実施計画書だ; int2 & int3 -> int4: その同乗者は実施計画書だ; int4 & fact11 -> hypothesis;
「その複眼はアルキル鎖でない」ということは成り立つ
fact21 -> int5: 仮にその複眼は豌豆であるとするとアルキル鎖でない; fact24 -> int6: もし仮にその文化現象は取得し易くないとするとそれは行い易いないし実施計画書でない; fact23 & fact22 -> int7: その文化現象は取得し易くない; int6 & int7 -> int8: その文化現象は行い易くなくて実施計画書でない; int8 -> int9: その文化現象は行い易くない; int9 -> int10: 行い易くない物はある;
$facts$ = fact1: その銀器は行い易い fact2: もしその銀器は捧げ持つとすると「その同乗者は行い易い」ということは確かだ fact3: 仮にその同乗者は捧げ持てば「それは行い易い」ということは本当である fact4: 「豌豆はアルキル鎖であるということはない」ということは事実だ fact5: もしその文化現象は豌豆であるとすると「その銀器は捧げ持つ」ということは正しい fact6: その複眼は実施計画書である fact7: 行い易い物は実施計画書だ fact8: その銀器は豌豆であるとすると「その文化現象は捧げ持つ」ということは嘘でない fact9: もしもとある物は豌豆であるとすれば「それはアルキル鎖だけれど捧げ持たない」ということは間違いである fact10: その御世話様は豌豆だ fact11: もし仮にその同乗者が実施計画書であるとしたらその複眼はアルキル鎖だ fact12: その銀器は豌豆だ fact13: その文化現象が行い易いとするとその同乗者は豌豆である fact14: 「その複眼は行い易い」ということは真実だ fact15: 「その文化現象は御休むししかも取得し易い」ということは成り立たない fact16: もしもその複眼が豌豆であるならその文化現象はアルキル鎖である fact17: もし「その文化現象は御休むしまたそれは取得し易い」ということは偽であるならば取得し易いということはない fact18: 取得し易いということはないものは行い易いないし実施計画書でない fact19: その複眼は想像し難い fact20: その文化現象は豌豆だ ; $hypothesis$ = その複眼はアルキル鎖だ ; $proof$ = 
fact5 & fact20 -> int1: その銀器は捧げ持つ; int1 & fact2 -> int2: その同乗者は行い易い; fact7 -> int3: その同乗者が行い易いとすれば実施計画書だ; int2 & int3 -> int4: その同乗者は実施計画書だ; int4 & fact11 -> hypothesis; __PROVED__
事実1: その銀器は行い易い
事実2: もしその銀器は捧げ持つとすると「その同乗者は行い易い」ということは確かだ
事実3: 仮にその同乗者は捧げ持てば「それは行い易い」ということは本当である
事実4: 「豌豆はアルキル鎖であるということはない」ということは事実だ
事実5: もしその文化現象は豌豆であるとすると「その銀器は捧げ持つ」ということは正しい
事実6: その複眼は実施計画書である
事実7: 行い易い物は実施計画書だ
事実8: その銀器は豌豆であるとすると「その文化現象は捧げ持つ」ということは嘘でない
事実9: もしもとある物は豌豆であるとすれば「それはアルキル鎖だけれど捧げ持たない」ということは間違いである
事実10: その御世話様は豌豆だ
事実11: もし仮にその同乗者が実施計画書であるとしたらその複眼はアルキル鎖だ
事実12: その銀器は豌豆だ
事実13: その文化現象が行い易いとするとその同乗者は豌豆である
事実14: 「その複眼は行い易い」ということは真実だ
事実15: 「その文化現象は御休むししかも取得し易い」ということは成り立たない
事実16: もしもその複眼が豌豆であるならその文化現象はアルキル鎖である
事実17: もし「その文化現象は御休むしまたそれは取得し易い」ということは偽であるならば取得し易いということはない
事実18: 取得し易いということはないものは行い易いないし実施計画書でない
事実19: その複眼は想像し難い
事実20: その文化現象は豌豆だ

仮説: その複眼はアルキル鎖だ
1. 事実5と事実20から、推論1: "その銀器は捧げ持つ"が導かれる
2. 推論1と事実2から、推論2: "その同乗者は行い易い"が導かれる
3. 事実7から、推論3: "その同乗者が行い易いとすれば実施計画書だ"が導かれる
4. 推論2と推論3から、推論4: "その同乗者は実施計画書だ"が導かれる
5. 推論4と事実11から、仮説が導かれる

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