「「聡い」ということは偽でないならば「君らしいけれど羽ばたかない」ということは成り立つということはない」ものはある
fact1: 仮にその流通用が聡いとしたら君らしいけど羽ばたかない fact2: もし仮にその流通用は聡いとすると「それは君らしいしかつそれは羽ばたく」ということは間違いだ fact3: 「仮に聡いならば君らしいしそれに羽ばたかない」ものはある fact4: もしこの線形モデルは思い焦がれるとすれば「それは悲し過ぎるし加えて聡くない」ということは成り立たない fact5: 「もし仮に保母さんだとすれば「掛かり過ぎるしその上石裏でない」ということは成り立たない」物はある fact6: もしその流通用は聡いならば「君らしいしかつ羽ばたかない」ということは事実と異なる fact7: 「もしも絶え間無いならば「呪詛するしかつ尋ね掛けない」ということは嘘である」ものはある fact8: もしもなにかはア前であるとすると「それは技術等だがしかし来辛いということはない」ということは成り立たない fact9: 「仮に僻みっぽいとすれば「逸らすしさらに粥専門店でない」ということは偽な」物はある fact10: 「けばけばしいならば「凄い一方で思い焦がれない」ということは誤りである」ものはある fact11: もし仮にその流通用はコミュニケーションツールであるなら「灯し難いけど聡くない」ということは事実と異なる fact12: 「もし聡いとすると「君らしいしそれに羽ばたく」ということは成り立たない」物はある
fact6 -> hypothesis;
「「もし仮に「ア前だ」ということは偽でないとすれば「技術等だ一方で来辛くない」ということは嘘な」物はある」ということは偽でない
fact13 -> int1: その三人分はア前であるならば「技術等だけれど来辛くない」ということは間違いだ; int1 -> hypothesis;
$facts$ = fact1: 仮にその流通用が聡いとしたら君らしいけど羽ばたかない fact2: もし仮にその流通用は聡いとすると「それは君らしいしかつそれは羽ばたく」ということは間違いだ fact3: 「仮に聡いならば君らしいしそれに羽ばたかない」ものはある fact4: もしこの線形モデルは思い焦がれるとすれば「それは悲し過ぎるし加えて聡くない」ということは成り立たない fact5: 「もし仮に保母さんだとすれば「掛かり過ぎるしその上石裏でない」ということは成り立たない」物はある fact6: もしその流通用は聡いならば「君らしいしかつ羽ばたかない」ということは事実と異なる fact7: 「もしも絶え間無いならば「呪詛するしかつ尋ね掛けない」ということは嘘である」ものはある fact8: もしもなにかはア前であるとすると「それは技術等だがしかし来辛いということはない」ということは成り立たない fact9: 「仮に僻みっぽいとすれば「逸らすしさらに粥専門店でない」ということは偽な」物はある fact10: 「けばけばしいならば「凄い一方で思い焦がれない」ということは誤りである」ものはある fact11: もし仮にその流通用はコミュニケーションツールであるなら「灯し難いけど聡くない」ということは事実と異なる fact12: 「もし聡いとすると「君らしいしそれに羽ばたく」ということは成り立たない」物はある ; $hypothesis$ = 「「聡い」ということは偽でないならば「君らしいけれど羽ばたかない」ということは成り立つということはない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 仮にその流通用が聡いとしたら君らしいけど羽ばたかない
事実2: もし仮にその流通用は聡いとすると「それは君らしいしかつそれは羽ばたく」ということは間違いだ
事実3: 「仮に聡いならば君らしいしそれに羽ばたかない」ものはある
事実4: もしこの線形モデルは思い焦がれるとすれば「それは悲し過ぎるし加えて聡くない」ということは成り立たない
事実5: 「もし仮に保母さんだとすれば「掛かり過ぎるしその上石裏でない」ということは成り立たない」物はある
事実6: もしその流通用は聡いならば「君らしいしかつ羽ばたかない」ということは事実と異なる
事実7: 「もしも絶え間無いならば「呪詛するしかつ尋ね掛けない」ということは嘘である」ものはある
事実8: もしもなにかはア前であるとすると「それは技術等だがしかし来辛いということはない」ということは成り立たない
事実9: 「仮に僻みっぽいとすれば「逸らすしさらに粥専門店でない」ということは偽な」物はある
事実10: 「けばけばしいならば「凄い一方で思い焦がれない」ということは誤りである」ものはある
事実11: もし仮にその流通用はコミュニケーションツールであるなら「灯し難いけど聡くない」ということは事実と異なる
事実12: 「もし聡いとすると「君らしいしそれに羽ばたく」ということは成り立たない」物はある

仮説: 「「聡い」ということは偽でないならば「君らしいけれど羽ばたかない」ということは成り立つということはない」ものはある
1. 事実6から、仮説が導かれる

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