「もしも「アイＳだ」ということは成り立つならマホメット教で勉強し始めるということはない」ものはある
fact1: もしもその海運業はマホメット教であるとしたら「それは相克関係であるしおまけにそれは薄青くない」ということは確かだ fact2: もし仮にとある物が解け易いならばそれは切り妻屋根だということはない fact3: 寂しいものは叱咤激励するが第四惑星でない fact4: その海運業は勉強し始めれば神話性でない fact5: もし仮になにがしかの物が敗戦するとすれば目覚ましいが善がり狂わない fact6: 父譲りは働けるけど起こし易くない fact7: 犯し難いものは打ち上がり易くない fact8: 「面内剛性であるなら参列だがしかし嬉しくない」物はある fact9: 仮にその海運業が収まり返るとしたらそれは勉強し始めるけど知悉するということはない fact10: 「もし太り易いなら上がり難くない」ものはある fact11: もし仮に何かは見積もれればそれは辛抱強くない fact12: もしも「その海運業はアイＳだ」ということは正しいなら燃え立つ一方で続航しない fact13: 「「もし仮に「判断し難い」ということは真実であるとすると新しいけれど墓跡でない」物はある」ということは本当だ fact14: もしもとある物が上場するとしたらそれは飲み歩くがしかしエンゼルフィッシュだということはない fact15: 仮になんらかの物が切り妻屋根ならばいじらしいし御確認下さらない fact16: もしその二化合物が可笑しとしたらマホメット教だ一方で香しかない fact17: もし仮に何かはアイＳだとすればマホメット教だが勉強し始めない fact18: もしこのブリキ缶は手繰り寄せるとすると「それはアイＳでない」ということは事実だ fact19: なんらかの物は手繰り寄せるとすると「嬉しくない」ということは成り立つ fact20: もしもあの範例が軌道修正だとすればそれは癒し難い一方でマホメット教でない fact21: 「もし仮に保ち易いとしたら上場するがしかし一極集中するということはない」物はある
fact17 -> int1: もし仮にその海運業がアイＳならばマホメット教でそれは勉強し始めるということはない; int1 -> hypothesis;
fact17 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしもその海運業はマホメット教であるとしたら「それは相克関係であるしおまけにそれは薄青くない」ということは確かだ fact2: もし仮にとある物が解け易いならばそれは切り妻屋根だということはない fact3: 寂しいものは叱咤激励するが第四惑星でない fact4: その海運業は勉強し始めれば神話性でない fact5: もし仮になにがしかの物が敗戦するとすれば目覚ましいが善がり狂わない fact6: 父譲りは働けるけど起こし易くない fact7: 犯し難いものは打ち上がり易くない fact8: 「面内剛性であるなら参列だがしかし嬉しくない」物はある fact9: 仮にその海運業が収まり返るとしたらそれは勉強し始めるけど知悉するということはない fact10: 「もし太り易いなら上がり難くない」ものはある fact11: もし仮に何かは見積もれればそれは辛抱強くない fact12: もしも「その海運業はアイＳだ」ということは正しいなら燃え立つ一方で続航しない fact13: 「「もし仮に「判断し難い」ということは真実であるとすると新しいけれど墓跡でない」物はある」ということは本当だ fact14: もしもとある物が上場するとしたらそれは飲み歩くがしかしエンゼルフィッシュだということはない fact15: 仮になんらかの物が切り妻屋根ならばいじらしいし御確認下さらない fact16: もしその二化合物が可笑しとしたらマホメット教だ一方で香しかない fact17: もし仮に何かはアイＳだとすればマホメット教だが勉強し始めない fact18: もしこのブリキ缶は手繰り寄せるとすると「それはアイＳでない」ということは事実だ fact19: なんらかの物は手繰り寄せるとすると「嬉しくない」ということは成り立つ fact20: もしもあの範例が軌道修正だとすればそれは癒し難い一方でマホメット教でない fact21: 「もし仮に保ち易いとしたら上場するがしかし一極集中するということはない」物はある ; $hypothesis$ = 「もしも「アイＳだ」ということは成り立つならマホメット教で勉強し始めるということはない」ものはある ; $proof$ = 
fact17 -> int1: もし仮にその海運業がアイＳならばマホメット教でそれは勉強し始めるということはない; int1 -> hypothesis; __PROVED__
事実1: もしもその海運業はマホメット教であるとしたら「それは相克関係であるしおまけにそれは薄青くない」ということは確かだ
事実2: もし仮にとある物が解け易いならばそれは切り妻屋根だということはない
事実3: 寂しいものは叱咤激励するが第四惑星でない
事実4: その海運業は勉強し始めれば神話性でない
事実5: もし仮になにがしかの物が敗戦するとすれば目覚ましいが善がり狂わない
事実6: 父譲りは働けるけど起こし易くない
事実7: 犯し難いものは打ち上がり易くない
事実8: 「面内剛性であるなら参列だがしかし嬉しくない」物はある
事実9: 仮にその海運業が収まり返るとしたらそれは勉強し始めるけど知悉するということはない
事実10: 「もし太り易いなら上がり難くない」ものはある
事実11: もし仮に何かは見積もれればそれは辛抱強くない
事実12: もしも「その海運業はアイＳだ」ということは正しいなら燃え立つ一方で続航しない
事実13: 「「もし仮に「判断し難い」ということは真実であるとすると新しいけれど墓跡でない」物はある」ということは本当だ
事実14: もしもとある物が上場するとしたらそれは飲み歩くがしかしエンゼルフィッシュだということはない
事実15: 仮になんらかの物が切り妻屋根ならばいじらしいし御確認下さらない
事実16: もしその二化合物が可笑しとしたらマホメット教だ一方で香しかない
事実17: もし仮に何かはアイＳだとすればマホメット教だが勉強し始めない
事実18: もしこのブリキ缶は手繰り寄せるとすると「それはアイＳでない」ということは事実だ
事実19: なんらかの物は手繰り寄せるとすると「嬉しくない」ということは成り立つ
事実20: もしもあの範例が軌道修正だとすればそれは癒し難い一方でマホメット教でない
事実21: 「もし仮に保ち易いとしたら上場するがしかし一極集中するということはない」物はある

仮説: 「もしも「アイＳだ」ということは成り立つならマホメット教で勉強し始めるということはない」ものはある
1. 事実17から、推論1: "もし仮にその海運業がアイＳならばマホメット教でそれは勉強し始めるということはない"が導かれる
2. 推論1から、仮説が導かれる

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