あの輪切りは意想外でない
fact1: 仮に「その肺静脈はＮＨＳでない」ということは真実であるなら働き始めるしそれは手入れする fact2: あの六十三年度は健保でない fact3: この粘性率が反抗期でないならばその東京区部は失速しない fact4: もし「あの輪切りは健保でないか男女両性であるかあるいは両方ともである」ということは偽であるとするとそれは意想外でない fact5: とあるものが手入れすれば働き始めるかあるいは反抗期でない fact6: その肺静脈は働き始めるとすると「失速するが反抗期でない」ということは事実と異なる fact7: もし「あの輪切りは意想外でないけどそれは予約会員である」ということは間違いだとしたら「その学校行事は使い易くない」ということは成り立つ fact8: もし仮になんらかの物は使い易くないとすれば「それは大店法でないかもしくはそれは男女両性でないかどちらもだ」ということは嘘である fact9: 「あの輪切りは健保でないかあるいは男女両性でない」ということは誤っている fact10: 「あの輪切りは健保でないかまたは男女両性でないかもしくは両方ともだ」ということは間違っているとすればそれは意想外でない fact11: この粘性率が働き始めるならその東京区部は失速しない fact12: 仮に「この粘性率は渋いということはない」ということは本当だとしたら手入れするしそれはＮＨＳだ fact13: もし何らかの物が失速しないとしたらそれは予約会員だし加えて使い易い fact14: もしもなんらかの物は失速しないとしたら「意想外でなくておまけにそれは予約会員だ」ということは成り立たない fact15: この粘性率は渋くない fact16: あの輪切りは男女両性だ fact17: もしその肺静脈がカテゴリ分けしないしさらに渋くないとしたらそれはＮＨＳでない
fact10 & fact9 -> hypothesis;
fact10 & fact9 -> hypothesis;
「「「その学校行事は大店法でないかあるいは男女両性でないかまたはどちらもだ」ということは事実だ」ということは嘘だ」ということは真実である
fact21 -> int1: その学校行事は使い易いということはないとすると「それは大店法であるということはないかあるいは男女両性でないかどちらもだ」ということは嘘である; fact23 -> int2: もしもあの輪切りは失速するということはないならば「それは意想外でないけれど予約会員である」ということは嘘である;
$facts$ = fact1: 仮に「その肺静脈はＮＨＳでない」ということは真実であるなら働き始めるしそれは手入れする fact2: あの六十三年度は健保でない fact3: この粘性率が反抗期でないならばその東京区部は失速しない fact4: もし「あの輪切りは健保でないか男女両性であるかあるいは両方ともである」ということは偽であるとするとそれは意想外でない fact5: とあるものが手入れすれば働き始めるかあるいは反抗期でない fact6: その肺静脈は働き始めるとすると「失速するが反抗期でない」ということは事実と異なる fact7: もし「あの輪切りは意想外でないけどそれは予約会員である」ということは間違いだとしたら「その学校行事は使い易くない」ということは成り立つ fact8: もし仮になんらかの物は使い易くないとすれば「それは大店法でないかもしくはそれは男女両性でないかどちらもだ」ということは嘘である fact9: 「あの輪切りは健保でないかあるいは男女両性でない」ということは誤っている fact10: 「あの輪切りは健保でないかまたは男女両性でないかもしくは両方ともだ」ということは間違っているとすればそれは意想外でない fact11: この粘性率が働き始めるならその東京区部は失速しない fact12: 仮に「この粘性率は渋いということはない」ということは本当だとしたら手入れするしそれはＮＨＳだ fact13: もし何らかの物が失速しないとしたらそれは予約会員だし加えて使い易い fact14: もしもなんらかの物は失速しないとしたら「意想外でなくておまけにそれは予約会員だ」ということは成り立たない fact15: この粘性率は渋くない fact16: あの輪切りは男女両性だ fact17: もしその肺静脈がカテゴリ分けしないしさらに渋くないとしたらそれはＮＨＳでない ; $hypothesis$ = あの輪切りは意想外でない ; $proof$ = 
fact10 & fact9 -> hypothesis; __PROVED__
事実1: 仮に「その肺静脈はＮＨＳでない」ということは真実であるなら働き始めるしそれは手入れする
事実2: あの六十三年度は健保でない
事実3: この粘性率が反抗期でないならばその東京区部は失速しない
事実4: もし「あの輪切りは健保でないか男女両性であるかあるいは両方ともである」ということは偽であるとするとそれは意想外でない
事実5: とあるものが手入れすれば働き始めるかあるいは反抗期でない
事実6: その肺静脈は働き始めるとすると「失速するが反抗期でない」ということは事実と異なる
事実7: もし「あの輪切りは意想外でないけどそれは予約会員である」ということは間違いだとしたら「その学校行事は使い易くない」ということは成り立つ
事実8: もし仮になんらかの物は使い易くないとすれば「それは大店法でないかもしくはそれは男女両性でないかどちらもだ」ということは嘘である
事実9: 「あの輪切りは健保でないかあるいは男女両性でない」ということは誤っている
事実10: 「あの輪切りは健保でないかまたは男女両性でないかもしくは両方ともだ」ということは間違っているとすればそれは意想外でない
事実11: この粘性率が働き始めるならその東京区部は失速しない
事実12: 仮に「この粘性率は渋いということはない」ということは本当だとしたら手入れするしそれはＮＨＳだ
事実13: もし何らかの物が失速しないとしたらそれは予約会員だし加えて使い易い
事実14: もしもなんらかの物は失速しないとしたら「意想外でなくておまけにそれは予約会員だ」ということは成り立たない
事実15: この粘性率は渋くない
事実16: あの輪切りは男女両性だ
事実17: もしその肺静脈がカテゴリ分けしないしさらに渋くないとしたらそれはＮＨＳでない

仮説: あの輪切りは意想外でない
1. 事実10と事実9から、仮説が導かれる

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