「蔬菜であるなら子供っぽくない」物はある
fact1: もしもその解体的交感は蔬菜であるとしたら子供っぽいということはない fact2: 「もしも穴掘りであるとすれば意味深くない」物はある fact3: もし仮にその解体的交感が子供っぽいならば疲れ切らない fact4: 「「コピー＆ペーストする」ということは成り立つとしたら親しない」物はある fact5: 「冴え渡るなら告訴しない」物はある fact6: 「話し易いとすると吹き返さない」物はある fact7: 蔬菜は歯痒くない fact8: もしもこの培養期間は御の字であるとしたら蔬菜でない fact9: 「もし仮に表象するなら町長さんでない」ものはある fact10: 「もし仮に「初々しい」ということは成り立つとすると心強くない」ものはある fact11: もしその解体的交感が蔬菜だとしたら子供っぽい fact12: 「仮に廉価版だとすれば立て出さない」物はある fact13: もしある物がプレイ出来るとすると蔬菜であるということはない fact14: 「もし蔬菜だとすると子供っぽい」ものはある fact15: もし仮にその解体的交感は蔬菜であるとしたらそれは学習用具でない
fact1 -> hypothesis;
その解体的交感が蔬菜だとすればそれは歯痒くない
fact16 -> hypothesis;
$facts$ = fact1: もしもその解体的交感は蔬菜であるとしたら子供っぽいということはない fact2: 「もしも穴掘りであるとすれば意味深くない」物はある fact3: もし仮にその解体的交感が子供っぽいならば疲れ切らない fact4: 「「コピー＆ペーストする」ということは成り立つとしたら親しない」物はある fact5: 「冴え渡るなら告訴しない」物はある fact6: 「話し易いとすると吹き返さない」物はある fact7: 蔬菜は歯痒くない fact8: もしもこの培養期間は御の字であるとしたら蔬菜でない fact9: 「もし仮に表象するなら町長さんでない」ものはある fact10: 「もし仮に「初々しい」ということは成り立つとすると心強くない」ものはある fact11: もしその解体的交感が蔬菜だとしたら子供っぽい fact12: 「仮に廉価版だとすれば立て出さない」物はある fact13: もしある物がプレイ出来るとすると蔬菜であるということはない fact14: 「もし蔬菜だとすると子供っぽい」ものはある fact15: もし仮にその解体的交感は蔬菜であるとしたらそれは学習用具でない ; $hypothesis$ = 「蔬菜であるなら子供っぽくない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもその解体的交感は蔬菜であるとしたら子供っぽいということはない
事実2: 「もしも穴掘りであるとすれば意味深くない」物はある
事実3: もし仮にその解体的交感が子供っぽいならば疲れ切らない
事実4: 「「コピー＆ペーストする」ということは成り立つとしたら親しない」物はある
事実5: 「冴え渡るなら告訴しない」物はある
事実6: 「話し易いとすると吹き返さない」物はある
事実7: 蔬菜は歯痒くない
事実8: もしもこの培養期間は御の字であるとしたら蔬菜でない
事実9: 「もし仮に表象するなら町長さんでない」ものはある
事実10: 「もし仮に「初々しい」ということは成り立つとすると心強くない」ものはある
事実11: もしその解体的交感が蔬菜だとしたら子供っぽい
事実12: 「仮に廉価版だとすれば立て出さない」物はある
事実13: もしある物がプレイ出来るとすると蔬菜であるということはない
事実14: 「もし蔬菜だとすると子供っぽい」ものはある
事実15: もし仮にその解体的交感は蔬菜であるとしたらそれは学習用具でない

仮説: 「蔬菜であるなら子供っぽくない」物はある
1. 事実1から、仮説が導かれる

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