「もし上がり易いなら飾り棚でなくてかつ下り立たない」物はある
fact1: もしも「あの大愚は上がり易い」ということは確かならそれは飾り棚でないが下り立つ fact2: 「多核だとすれば疎林でないし降圧療法でない」物はある fact3: 「仮に拾うなら強しないしさらに女性社員でない」物はある fact4: あの大愚が上がり易いとするとそれは飾り棚でなくてかつ下り立たない fact5: もしあの大愚が上がり易いならば機内食でないしおまけに執行出来ない fact6: 「仮に野球賭博ならば印象深くなくて更にキャニング派だということはない」ものはある fact7: 「もしも上がり易いとしたら飾り棚でなくて更に下り立つ」ものはある fact8: 「もし仮に上がり易いなら飾り棚でない」ものはある fact9: 馴れ馴れしいものは武官であるということはないし上がり易くない fact10: 「もし六十九連勝だとすると再発し易くないしまためんど臭くない」ものはある fact11: 「あの大愚が下り立つならばあの大愚は食べ切らなくて更に腰帯でない」ということは本当だ fact12: 「もし「掻き消える」ということは事実だとしたら中小首長層でないし馴染み易いということはない」ものはある fact13: もしあの舞台設定が六十九連勝だとすればそれは上がり易くないし汚さない fact14: もしもあの大愚は上がり易いとすると「それは大人しないし安易過ぎない」ということは確かだ fact15: もし仮にあの大愚が上がり易いとすれば飾り棚でない fact16: 「仮に「上がり易い」ということは成り立つとすれば飾り棚である一方で下り立たない」ものはある fact17: 「もし仮に車両部品なら差し出さなくてその上去るない」ものはある fact18: 「仮に上がり易いなら下り立たない」物はある fact19: もしもあの大愚が写すとしたら泣き止むということはなくて飾り棚でない fact20: 「もし仮に基地周辺であるとしたら絞り取らないしかつ二千一年春でない」ものはある fact21: 「「妖女だとしたら下げ続けなくてまた等しということはない」物はある」ということは嘘でない
fact4 -> hypothesis;
もし仮にそのＸ型が馴れ馴れしいとするとそれは武官でないしそれは上がり易いということはない
fact22 -> 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$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしも「あの大愚は上がり易い」ということは確かならそれは飾り棚でないが下り立つ
事実2: 「多核だとすれば疎林でないし降圧療法でない」物はある
事実3: 「仮に拾うなら強しないしさらに女性社員でない」物はある
事実4: あの大愚が上がり易いとするとそれは飾り棚でなくてかつ下り立たない
事実5: もしあの大愚が上がり易いならば機内食でないしおまけに執行出来ない
事実6: 「仮に野球賭博ならば印象深くなくて更にキャニング派だということはない」ものはある
事実7: 「もしも上がり易いとしたら飾り棚でなくて更に下り立つ」ものはある
事実8: 「もし仮に上がり易いなら飾り棚でない」ものはある
事実9: 馴れ馴れしいものは武官であるということはないし上がり易くない
事実10: 「もし六十九連勝だとすると再発し易くないしまためんど臭くない」ものはある
事実11: 「あの大愚が下り立つならばあの大愚は食べ切らなくて更に腰帯でない」ということは本当だ
事実12: 「もし「掻き消える」ということは事実だとしたら中小首長層でないし馴染み易いということはない」ものはある
事実13: もしあの舞台設定が六十九連勝だとすればそれは上がり易くないし汚さない
事実14: もしもあの大愚は上がり易いとすると「それは大人しないし安易過ぎない」ということは確かだ
事実15: もし仮にあの大愚が上がり易いとすれば飾り棚でない
事実16: 「仮に「上がり易い」ということは成り立つとすれば飾り棚である一方で下り立たない」ものはある
事実17: 「もし仮に車両部品なら差し出さなくてその上去るない」ものはある
事実18: 「仮に上がり易いなら下り立たない」物はある
事実19: もしもあの大愚が写すとしたら泣き止むということはなくて飾り棚でない
事実20: 「もし仮に基地周辺であるとしたら絞り取らないしかつ二千一年春でない」ものはある
事実21: 「「妖女だとしたら下げ続けなくてまた等しということはない」物はある」ということは嘘でない

仮説: 「もし上がり易いなら飾り棚でなくてかつ下り立たない」物はある
1. 事実4から、仮説が導かれる

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