「もしも相談し易いとしたら「制限解釈でないしその上降り始める」ということは成り立つということはない」物はある
fact1: あるものは相談し易いとすれば「制限解釈でないし降り始める」ということは成り立たない fact2: 「仮に雨雲ならばコーポレートだということはないけどだらし無い」ものはある fact3: 「仮に星間戦略学部であるとしたら「預かれないしその上毘沙門天である」ということは嘘である」物はある fact4: もし仮に何らかの物はＡＤ変換すれば「「それは学習出来るしおまけに崩れ易い」ということは本当だ」ということは誤りである fact5: もしもこの三門は相談し易いならば「制限解釈であるしまた降り始める」ということは確かでない fact6: 「仮にアメリカっぽいとしたら「三等分しないけれどＳＲＳである」ということは嘘な」物はある fact7: 「もしも重苦しいとすれば「度し難いし六祖である」ということは誤りな」ものはある fact8: 仮にこの三門は政党勢力だとしたら「それは正ししそれはアグリーメントだ」ということは成り立たない fact9: 仮に何かは相談し易いならば「偉くなくてそれに証拠隠滅である」ということは誤っている fact10: 「仮に「相談し易い」ということは誤っていないならば「制限解釈だし降り始める」ということは成り立たない」ものはある fact11: もしなにがしかの物が相談し易いとすればそれは制限解釈でないしそれに降り始める
fact1 -> int1: もしもこの三門は相談し易いとすると「それは制限解釈でないししかも降り始める」ということは間違っている; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
もしこの三門は相談し易いとすれば「それは偉くなくて証拠隠滅である」ということは事実と異なる
fact12 -> hypothesis;
$facts$ = fact1: あるものは相談し易いとすれば「制限解釈でないし降り始める」ということは成り立たない fact2: 「仮に雨雲ならばコーポレートだということはないけどだらし無い」ものはある fact3: 「仮に星間戦略学部であるとしたら「預かれないしその上毘沙門天である」ということは嘘である」物はある fact4: もし仮に何らかの物はＡＤ変換すれば「「それは学習出来るしおまけに崩れ易い」ということは本当だ」ということは誤りである fact5: もしもこの三門は相談し易いならば「制限解釈であるしまた降り始める」ということは確かでない fact6: 「仮にアメリカっぽいとしたら「三等分しないけれどＳＲＳである」ということは嘘な」物はある fact7: 「もしも重苦しいとすれば「度し難いし六祖である」ということは誤りな」ものはある fact8: 仮にこの三門は政党勢力だとしたら「それは正ししそれはアグリーメントだ」ということは成り立たない fact9: 仮に何かは相談し易いならば「偉くなくてそれに証拠隠滅である」ということは誤っている fact10: 「仮に「相談し易い」ということは誤っていないならば「制限解釈だし降り始める」ということは成り立たない」ものはある fact11: もしなにがしかの物が相談し易いとすればそれは制限解釈でないしそれに降り始める ; $hypothesis$ = 「もしも相談し易いとしたら「制限解釈でないしその上降り始める」ということは成り立つということはない」物はある ; $proof$ = 
fact1 -> int1: もしもこの三門は相談し易いとすると「それは制限解釈でないししかも降り始める」ということは間違っている; int1 -> hypothesis; __PROVED__
事実1: あるものは相談し易いとすれば「制限解釈でないし降り始める」ということは成り立たない
事実2: 「仮に雨雲ならばコーポレートだということはないけどだらし無い」ものはある
事実3: 「仮に星間戦略学部であるとしたら「預かれないしその上毘沙門天である」ということは嘘である」物はある
事実4: もし仮に何らかの物はＡＤ変換すれば「「それは学習出来るしおまけに崩れ易い」ということは本当だ」ということは誤りである
事実5: もしもこの三門は相談し易いならば「制限解釈であるしまた降り始める」ということは確かでない
事実6: 「仮にアメリカっぽいとしたら「三等分しないけれどＳＲＳである」ということは嘘な」物はある
事実7: 「もしも重苦しいとすれば「度し難いし六祖である」ということは誤りな」ものはある
事実8: 仮にこの三門は政党勢力だとしたら「それは正ししそれはアグリーメントだ」ということは成り立たない
事実9: 仮に何かは相談し易いならば「偉くなくてそれに証拠隠滅である」ということは誤っている
事実10: 「仮に「相談し易い」ということは誤っていないならば「制限解釈だし降り始める」ということは成り立たない」ものはある
事実11: もしなにがしかの物が相談し易いとすればそれは制限解釈でないしそれに降り始める

仮説: 「もしも相談し易いとしたら「制限解釈でないしその上降り始める」ということは成り立つということはない」物はある
1. 事実1から、推論1: "もしもこの三門は相談し易いとすると「それは制限解釈でないししかも降り始める」ということは間違っている"が導かれる
2. 推論1から、仮説が導かれる

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