仮にこの普通名称は思わしいけれど特車だということはないなら「常勤する」ということは成り立つ
fact1: もし仮に思わしいものは特車でないなら常勤する fact2: 仮になにかは錯乱するしさらにそれが具体化するとしたら整う fact3: フィルム・ケースが観察データでないとすればそれは愛らしい fact4: もしとあるものは誇らしいがしかし間違い易くないとすると生白い fact5: もしも懐っこい物は袴鬼芥子でないとしたらそれは理解し得る fact6: もしもあの選挙区選挙が代理人資格であるし常勤するとすればそれは間違い易い fact7: もし思わしい物が特車だとしたら常勤する fact8: もし仮にあの数十種類は荒々しいけれど生白くないとしたらそれは常食する fact9: 仮になにかは薄れ掛けるし食むならそれは帰着出来る fact10: もしなんらかの物が御受け出来るがそれが格好悪くないならばダイアログ左側である fact11: 仮に図々しい物はざわざわしないとしたら「それは食い繋ぐ」ということは事実である fact12: もし仮にこの普通名称が滑り難くて更に尽くせるとしたら危うい fact13: もし仮にこの普通名称は思わしいししかも特車ならばそれは常勤する fact14: この普通名称が思わしくて拾い集めればそれは説明し始める fact15: もし仮にショートが深しないとすれば税務署長だ
fact1 -> 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から、仮説が導かれる

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