「「仮にカレンシーであるとすると職業訓練でない」物はある」ということは偽である
fact1: 仮にあの太乙真人はカレンシーであるならば引き出し得ない fact2: ぎごちない物は久しくない fact3: 「もし七十年代前半だとしたらレッドアースである」ものはある fact4: 仮にあの太乙真人はカレンシーだとすれば「職業訓練である」ということは成り立つ fact5: 「もしも現われ難いなら提案す」ものはある fact6: 仮にあの太乙真人はカレンシーであるならば職業訓練でない fact7: 「もし「旅行先である」ということは本当であるならば当たり散らさない」物はある fact8: 「もしも狙撃するとすれば人気ナンバーであるということはない」ものはある fact9: この在宅福祉サービスはカレンシーであるならそれは前掲最判昭であるということはない fact10: 「もし仮に脅すとしたら御強い」ものはある
fact6 -> hypothesis;
「ぎごちないとすれば久しくない」物はある
fact11 -> int1: 仮に「その加算値はぎごちない」ということは成り立てば久しくない; int1 -> hypothesis;
$facts$ = fact1: 仮にあの太乙真人はカレンシーであるならば引き出し得ない fact2: ぎごちない物は久しくない fact3: 「もし七十年代前半だとしたらレッドアースである」ものはある fact4: 仮にあの太乙真人はカレンシーだとすれば「職業訓練である」ということは成り立つ fact5: 「もしも現われ難いなら提案す」ものはある fact6: 仮にあの太乙真人はカレンシーであるならば職業訓練でない fact7: 「もし「旅行先である」ということは本当であるならば当たり散らさない」物はある fact8: 「もしも狙撃するとすれば人気ナンバーであるということはない」ものはある fact9: この在宅福祉サービスはカレンシーであるならそれは前掲最判昭であるということはない fact10: 「もし仮に脅すとしたら御強い」ものはある ; $hypothesis$ = 「「仮にカレンシーであるとすると職業訓練でない」物はある」ということは偽である ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあの太乙真人はカレンシーであるならば引き出し得ない
事実2: ぎごちない物は久しくない
事実3: 「もし七十年代前半だとしたらレッドアースである」ものはある
事実4: 仮にあの太乙真人はカレンシーだとすれば「職業訓練である」ということは成り立つ
事実5: 「もしも現われ難いなら提案す」ものはある
事実6: 仮にあの太乙真人はカレンシーであるならば職業訓練でない
事実7: 「もし「旅行先である」ということは本当であるならば当たり散らさない」物はある
事実8: 「もしも狙撃するとすれば人気ナンバーであるということはない」ものはある
事実9: この在宅福祉サービスはカレンシーであるならそれは前掲最判昭であるということはない
事実10: 「もし仮に脅すとしたら御強い」ものはある

仮説: 「「仮にカレンシーであるとすると職業訓練でない」物はある」ということは偽である
1. 事実6から、仮説が否定される

よって、仮説が否定されました。