あのポコは今さっきであるということはないかもしくは急進化しないかあるいはどちらもだ
fact1: あのポコは今さっきでないかもしくは急進化しないかまたは両方である fact2: その急ぎは申し訳無くないかあるいは相当因果関係であるということはないかまたは両方である fact3: あの核兵器開発は今さっきであるか悪酔いでない fact4: あのポコは切り易くないかあるいは急進化しない fact5: あのポコは仲間らしくないか今さっきでないかもしくはどちらもだ fact6: もしある物は予測し難くないとすると「今さっきでないかそれは急進化しないかまたは両方ともである」ということは嘘だ fact7: あのポコは話し合いしないかあるいは今さっきでないかあるいは両方ともだ fact8: あのポコは今さっきであるということはないかあるいは消化し易くないかまたは両方だ fact9: あのポコは回すかもしくはぴりっとするということはないかあるいは両方ともである
fact1 -> hypothesis;
fact1 -> hypothesis;
「あのポコは今さっきでないかもしくは急進化するということはないか両方ともだ」ということは事実と異なる
fact10 -> int1: もしあのポコは予測し難くないなら「今さっきでないかまたはそれは急進化しない」ということは事実と異なる;
$facts$ = fact1: あのポコは今さっきでないかもしくは急進化しないかまたは両方である fact2: その急ぎは申し訳無くないかあるいは相当因果関係であるということはないかまたは両方である fact3: あの核兵器開発は今さっきであるか悪酔いでない fact4: あのポコは切り易くないかあるいは急進化しない fact5: あのポコは仲間らしくないか今さっきでないかもしくはどちらもだ fact6: もしある物は予測し難くないとすると「今さっきでないかそれは急進化しないかまたは両方ともである」ということは嘘だ fact7: あのポコは話し合いしないかあるいは今さっきでないかあるいは両方ともだ fact8: あのポコは今さっきであるということはないかあるいは消化し易くないかまたは両方だ fact9: あのポコは回すかもしくはぴりっとするということはないかあるいは両方ともである ; $hypothesis$ = あのポコは今さっきであるということはないかもしくは急進化しないかあるいはどちらもだ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あのポコは今さっきでないかもしくは急進化しないかまたは両方である
事実2: その急ぎは申し訳無くないかあるいは相当因果関係であるということはないかまたは両方である
事実3: あの核兵器開発は今さっきであるか悪酔いでない
事実4: あのポコは切り易くないかあるいは急進化しない
事実5: あのポコは仲間らしくないか今さっきでないかもしくはどちらもだ
事実6: もしある物は予測し難くないとすると「今さっきでないかそれは急進化しないかまたは両方ともである」ということは嘘だ
事実7: あのポコは話し合いしないかあるいは今さっきでないかあるいは両方ともだ
事実8: あのポコは今さっきであるということはないかあるいは消化し易くないかまたは両方だ
事実9: あのポコは回すかもしくはぴりっとするということはないかあるいは両方ともである

仮説: あのポコは今さっきであるということはないかもしくは急進化しないかあるいはどちらもだ
1. 事実1から、仮説が導かれる

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