そのステイヤー血統はダイアリードだ
fact1: この国語学会は一目散でしかもダイアリードだ fact2: もしとあるものが当て付けはましくらないとしたら「それは不足し易くないしこかさない」ということは誤りである fact3: 「この表面上は発酵しない」ということは事実だとしたらそれはこかすしその上不足し易い fact4: 「「尖り立つしおまけに発酵する」ということは偽な」物はある fact5: 「そのステイヤー血統はこかすしダイアリードだ」ということは成り立つ fact6: もしも「そのルター派は調製するけれど尖り立つということはない」ということは事実と異なればこの表面上は発酵しない fact7: もし仮に何らかの物が発酵するということはないならば当て付けがましかない fact8: もしもそのルター派は長期不況でないとしたら「調製するけど尖り立たない」ということは事実と異なる fact9: 「そのステイヤー血統は一般原理だし間違え易い」ということは成り立つ fact10: そのジェリーはダイアリードである fact11: そのステイヤー血統は上達であるしさらに糧米だ fact12: もし仮にとあるものがこかすとするとダイアリードである
fact5 -> hypothesis;
fact5 -> hypothesis;
その自殺はダイアリードである
fact13 -> int1: 仮にその自殺がこかせばそれはダイアリードである; fact16 -> int2: もし「そのステイヤー血統は当て付けがましいということはない」ということは成り立つとすると「不足し易くないしさらにこかさない」ということは偽だ; fact14 -> int3: もしそのステイヤー血統が発酵しないとしたら当て付けがましかない;
$facts$ = fact1: この国語学会は一目散でしかもダイアリードだ fact2: もしとあるものが当て付けはましくらないとしたら「それは不足し易くないしこかさない」ということは誤りである fact3: 「この表面上は発酵しない」ということは事実だとしたらそれはこかすしその上不足し易い fact4: 「「尖り立つしおまけに発酵する」ということは偽な」物はある fact5: 「そのステイヤー血統はこかすしダイアリードだ」ということは成り立つ fact6: もしも「そのルター派は調製するけれど尖り立つということはない」ということは事実と異なればこの表面上は発酵しない fact7: もし仮に何らかの物が発酵するということはないならば当て付けがましかない fact8: もしもそのルター派は長期不況でないとしたら「調製するけど尖り立たない」ということは事実と異なる fact9: 「そのステイヤー血統は一般原理だし間違え易い」ということは成り立つ fact10: そのジェリーはダイアリードである fact11: そのステイヤー血統は上達であるしさらに糧米だ fact12: もし仮にとあるものがこかすとするとダイアリードである ; $hypothesis$ = そのステイヤー血統はダイアリードだ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この国語学会は一目散でしかもダイアリードだ
事実2: もしとあるものが当て付けはましくらないとしたら「それは不足し易くないしこかさない」ということは誤りである
事実3: 「この表面上は発酵しない」ということは事実だとしたらそれはこかすしその上不足し易い
事実4: 「「尖り立つしおまけに発酵する」ということは偽な」物はある
事実5: 「そのステイヤー血統はこかすしダイアリードだ」ということは成り立つ
事実6: もしも「そのルター派は調製するけれど尖り立つということはない」ということは事実と異なればこの表面上は発酵しない
事実7: もし仮に何らかの物が発酵するということはないならば当て付けがましかない
事実8: もしもそのルター派は長期不況でないとしたら「調製するけど尖り立たない」ということは事実と異なる
事実9: 「そのステイヤー血統は一般原理だし間違え易い」ということは成り立つ
事実10: そのジェリーはダイアリードである
事実11: そのステイヤー血統は上達であるしさらに糧米だ
事実12: もし仮にとあるものがこかすとするとダイアリードである

仮説: そのステイヤー血統はダイアリードだ
1. 事実5から、仮説が導かれる

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