その散策は浅まし
fact1: もし仮に何かはブラバスらしくないとすると折り返さない fact2: その散策は地方人である fact3: この新編日本古典文学全集は浅まし fact4: 「「食べ終えないかもしくは冷え易くないかもしくは両方だ」ということは誤りである」ものがあるとすればその散策は空想する fact5: もしも「そのアメリカン・ニューシネマは空想する一方で冷え易くない」ということは成り立たないとすればそれは空想しない fact6: もしとある物は合わせ辛くないならば「御指導下さるしおまけに御言葉であるということはない」ということは成り立たない fact7: もしもとある物は折り返さないとしたら「食べ終えないかあるいは冷え易くないかあるいは両方ともである」ということは嘘だ fact8: 「あの突端は浅まし」ということは真実だ fact9: その薬用人参は浅まし fact10: 「その散策は御指導下さる」ということは正しい fact11: 仮にその散策が空想すればその払い戻しは浅ましがしかし思しということはない fact12: もし仮にそのアメリカン・ニューシネマは食べ終えないならば「それは空想するしまた冷え易くない」ということは嘘である fact13: 「その散策はニュートラル・ボールポジションである」ということは成り立つ fact14: 「「御指導下さるしおまけに御言葉でない」ということは誤りな」ものはあるなら「そのアメリカン・ニューシネマはブラバスらしくない」ということは真実である fact15: すべては合わせ辛くない fact16: その散策は浅まし
fact16 -> hypothesis;
fact16 -> hypothesis;
その払い戻しは浅まし
fact21 -> int1: もし仮にそのアメリカン・ニューシネマがブラバスらしくないとすればそれは折り返さない; fact19 -> int2: 仮にその二千年時点は合わせ辛くないとしたら「御指導下さるしそれは御言葉でない」ということは嘘だ; fact23 -> int3: その二千年時点は合わせ辛くない; int2 & int3 -> int4: 「その二千年時点は御指導下さるけれど御言葉でない」ということは成り立たない; int4 -> int5: それが御指導下さるしその上それは御言葉でないという物はない; int5 -> int6: 「「あの性体験レベルは御指導下さる一方でそれは御言葉でない」ということは成り立たない」ということは成り立つ; int6 -> int7: 「「御指導下さるけど御言葉でない」ということは確かでない」ものはある; int7 & fact22 -> int8: そのアメリカン・ニューシネマはブラバスらしくない; int1 & int8 -> int9: そのアメリカン・ニューシネマは折り返すということはない; fact20 -> int10: もし仮に「そのアメリカン・ニューシネマは折り返さない」ということは確かであるとすると「食べ終えないかそれは冷え易くないかもしくは両方ともだ」ということは成り立たない; int9 & int10 -> int11: 「そのアメリカン・ニューシネマは食べ終えないかまたはそれは冷え易くないかまたは両方である」ということは正しくない; int11 -> int12: 「「食べ終えるということはないかもしくは冷え易くないかあるいはどちらもである」ということは嘘な」ものはある; fact18 & int12 -> int13: その散策は空想する; fact17 & int13 -> int14: その払い戻しは浅まし一方で思しない; int14 -> hypothesis;
$facts$ = fact1: もし仮に何かはブラバスらしくないとすると折り返さない fact2: その散策は地方人である fact3: この新編日本古典文学全集は浅まし fact4: 「「食べ終えないかもしくは冷え易くないかもしくは両方だ」ということは誤りである」ものがあるとすればその散策は空想する fact5: もしも「そのアメリカン・ニューシネマは空想する一方で冷え易くない」ということは成り立たないとすればそれは空想しない fact6: もしとある物は合わせ辛くないならば「御指導下さるしおまけに御言葉であるということはない」ということは成り立たない fact7: もしもとある物は折り返さないとしたら「食べ終えないかあるいは冷え易くないかあるいは両方ともである」ということは嘘だ fact8: 「あの突端は浅まし」ということは真実だ fact9: その薬用人参は浅まし fact10: 「その散策は御指導下さる」ということは正しい fact11: 仮にその散策が空想すればその払い戻しは浅ましがしかし思しということはない fact12: もし仮にそのアメリカン・ニューシネマは食べ終えないならば「それは空想するしまた冷え易くない」ということは嘘である fact13: 「その散策はニュートラル・ボールポジションである」ということは成り立つ fact14: 「「御指導下さるしおまけに御言葉でない」ということは誤りな」ものはあるなら「そのアメリカン・ニューシネマはブラバスらしくない」ということは真実である fact15: すべては合わせ辛くない fact16: その散策は浅まし ; $hypothesis$ = その散策は浅まし ; $proof$ = 
fact16 -> hypothesis; __PROVED__
事実1: もし仮に何かはブラバスらしくないとすると折り返さない
事実2: その散策は地方人である
事実3: この新編日本古典文学全集は浅まし
事実4: 「「食べ終えないかもしくは冷え易くないかもしくは両方だ」ということは誤りである」ものがあるとすればその散策は空想する
事実5: もしも「そのアメリカン・ニューシネマは空想する一方で冷え易くない」ということは成り立たないとすればそれは空想しない
事実6: もしとある物は合わせ辛くないならば「御指導下さるしおまけに御言葉であるということはない」ということは成り立たない
事実7: もしもとある物は折り返さないとしたら「食べ終えないかあるいは冷え易くないかあるいは両方ともである」ということは嘘だ
事実8: 「あの突端は浅まし」ということは真実だ
事実9: その薬用人参は浅まし
事実10: 「その散策は御指導下さる」ということは正しい
事実11: 仮にその散策が空想すればその払い戻しは浅ましがしかし思しということはない
事実12: もし仮にそのアメリカン・ニューシネマは食べ終えないならば「それは空想するしまた冷え易くない」ということは嘘である
事実13: 「その散策はニュートラル・ボールポジションである」ということは成り立つ
事実14: 「「御指導下さるしおまけに御言葉でない」ということは誤りな」ものはあるなら「そのアメリカン・ニューシネマはブラバスらしくない」ということは真実である
事実15: すべては合わせ辛くない
事実16: その散策は浅まし

仮説: その散策は浅まし
1. 事実16から、仮説が導かれる

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