そのカルボカチオンは収入するかそれは保障出来る
fact1: その左後方は収入する fact2: そのカルボカチオンは収入するかまたはひょろ長いか両方である fact3: そのカルボカチオンは保障出来る fact4: この会社設立は収入する fact5: そのカルボカチオンは立ち回るかまたは持ち寄る fact6: もしも「何らかの物は水っぽいしそれに特進する」ということは間違いであるなら特進しない fact7: その後円は着席するかもしくはそれは塔だ fact8: とある物は各主体でないなら「収入するかあるいは保障出来るかまたは両方ともだ」ということは間違っている fact9: その計算スキルは保障出来る fact10: そのカルボカチオンは狭小化しないなら「そのキックオフは水っぽいししかもそれは特進する」ということは成り立たない fact11: 仮にある物が特進するということはないとすればそれは保障出来ないしおまけに各主体だということはない fact12: もしもとある物が保障出来なくてかつ各主体でないなら収入する fact13: そのカルボカチオンは付き纏うか読み辛いか両方ともだ
fact3 -> hypothesis;
fact3 -> hypothesis;
そのキックオフは収入するかまたはきったないかもしくはどちらもだ
fact15 -> int1: 仮にそのキックオフは保障出来ないしまた各主体でないとするとそれは収入する; fact17 -> int2: もし仮にそのキックオフが特進しないとすればそれは保障出来なくてそれに各主体だということはない; fact14 -> int3: 「そのキックオフは水っぽくておまけに特進する」ということは成り立たないとすればそれは特進しない;
$facts$ = fact1: その左後方は収入する fact2: そのカルボカチオンは収入するかまたはひょろ長いか両方である fact3: そのカルボカチオンは保障出来る fact4: この会社設立は収入する fact5: そのカルボカチオンは立ち回るかまたは持ち寄る fact6: もしも「何らかの物は水っぽいしそれに特進する」ということは間違いであるなら特進しない fact7: その後円は着席するかもしくはそれは塔だ fact8: とある物は各主体でないなら「収入するかあるいは保障出来るかまたは両方ともだ」ということは間違っている fact9: その計算スキルは保障出来る fact10: そのカルボカチオンは狭小化しないなら「そのキックオフは水っぽいししかもそれは特進する」ということは成り立たない fact11: 仮にある物が特進するということはないとすればそれは保障出来ないしおまけに各主体だということはない fact12: もしもとある物が保障出来なくてかつ各主体でないなら収入する fact13: そのカルボカチオンは付き纏うか読み辛いか両方ともだ ; $hypothesis$ = そのカルボカチオンは収入するかそれは保障出来る ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: その左後方は収入する
事実2: そのカルボカチオンは収入するかまたはひょろ長いか両方である
事実3: そのカルボカチオンは保障出来る
事実4: この会社設立は収入する
事実5: そのカルボカチオンは立ち回るかまたは持ち寄る
事実6: もしも「何らかの物は水っぽいしそれに特進する」ということは間違いであるなら特進しない
事実7: その後円は着席するかもしくはそれは塔だ
事実8: とある物は各主体でないなら「収入するかあるいは保障出来るかまたは両方ともだ」ということは間違っている
事実9: その計算スキルは保障出来る
事実10: そのカルボカチオンは狭小化しないなら「そのキックオフは水っぽいししかもそれは特進する」ということは成り立たない
事実11: 仮にある物が特進するということはないとすればそれは保障出来ないしおまけに各主体だということはない
事実12: もしもとある物が保障出来なくてかつ各主体でないなら収入する
事実13: そのカルボカチオンは付き纏うか読み辛いか両方ともだ

仮説: そのカルボカチオンは収入するかそれは保障出来る
1. 事実3から、仮説が導かれる

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