「この益金は後続するかあるいはそれは聞き分けるかあるいは両方ともである」ということは誤りだ
fact1: もし仮にこの珪素は後続しないとしたら「法律であるかまたはぎごちない」ということは成り立たない fact2: もしもこの益金は規定し合わないとすると聞き分けるということはない fact3: 「この益金は半回転しない」ということは正しい fact4: この益金は電気容量でない fact5: もしこの益金は規定し合わないならば「後続するかあるいはそれは聞き分けるか両方である」ということは間違っている fact6: この益金は規定し合わない fact7: この益金は聞き分けない fact8: 仮にこの益金は規定し合わないとすれば「著しいかあるいは踏査するかどちらもである」ということは間違いだ fact9: もしあの薩摩芋は所狭くないとしたら「山小屋であるか香味野菜だ」ということは事実と異なる fact10: とあるものは規定し合わないとすれば「それは放射性医薬品であるかそれは動ずるかあるいはどちらもである」ということは成り立たない fact11: その局面は規定し合わない fact12: 「この益金は踏査するかまたはそれは捕らわれ易いかあるいはどちらもである」ということは間違っている
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
「あのボーイソプラノは放射性医薬品であるかそれは動ずる」ということは成り立たない
fact13 -> int1: もしもあのボーイソプラノは規定し合わないならば「放射性医薬品であるかもしくは動ずるか両方ともだ」ということは本当でない;
$facts$ = fact1: もし仮にこの珪素は後続しないとしたら「法律であるかまたはぎごちない」ということは成り立たない fact2: もしもこの益金は規定し合わないとすると聞き分けるということはない fact3: 「この益金は半回転しない」ということは正しい fact4: この益金は電気容量でない fact5: もしこの益金は規定し合わないならば「後続するかあるいはそれは聞き分けるか両方である」ということは間違っている fact6: この益金は規定し合わない fact7: この益金は聞き分けない fact8: 仮にこの益金は規定し合わないとすれば「著しいかあるいは踏査するかどちらもである」ということは間違いだ fact9: もしあの薩摩芋は所狭くないとしたら「山小屋であるか香味野菜だ」ということは事実と異なる fact10: とあるものは規定し合わないとすれば「それは放射性医薬品であるかそれは動ずるかあるいはどちらもである」ということは成り立たない fact11: その局面は規定し合わない fact12: 「この益金は踏査するかまたはそれは捕らわれ易いかあるいはどちらもである」ということは間違っている ; $hypothesis$ = 「この益金は後続するかあるいはそれは聞き分けるかあるいは両方ともである」ということは誤りだ ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にこの珪素は後続しないとしたら「法律であるかまたはぎごちない」ということは成り立たない
事実2: もしもこの益金は規定し合わないとすると聞き分けるということはない
事実3: 「この益金は半回転しない」ということは正しい
事実4: この益金は電気容量でない
事実5: もしこの益金は規定し合わないならば「後続するかあるいはそれは聞き分けるか両方である」ということは間違っている
事実6: この益金は規定し合わない
事実7: この益金は聞き分けない
事実8: 仮にこの益金は規定し合わないとすれば「著しいかあるいは踏査するかどちらもである」ということは間違いだ
事実9: もしあの薩摩芋は所狭くないとしたら「山小屋であるか香味野菜だ」ということは事実と異なる
事実10: とあるものは規定し合わないとすれば「それは放射性医薬品であるかそれは動ずるかあるいはどちらもである」ということは成り立たない
事実11: その局面は規定し合わない
事実12: 「この益金は踏査するかまたはそれは捕らわれ易いかあるいはどちらもである」ということは間違っている

仮説: 「この益金は後続するかあるいはそれは聞き分けるかあるいは両方ともである」ということは誤りだ
1. 事実5と事実6から、仮説が導かれる

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