あの変数ＡＮＳは重装甲である
fact1: もしもあの中華民国が重装甲でないとしたらあの変数ＡＮＳは重装甲でない fact2: あのちゃんちゃんこは予測し難くないとすれば「この順天大街は解し難いし加えて深い」ということは間違いだ fact3: もしもあの知悉が重装甲だがしかし一文無しでないならばあの中華民国は重装甲でない fact4: そのクラッシュドアイスが予測し難くないし心許なくないならばあのちゃんちゃんこは予測し難くない fact5: あの中華民国は御安い fact6: もしもある物が御安くないとすると重装甲であるしそれに一文無しでない fact7: この賛成派は張り合う fact8: 仮にあの中華民国が御安いならあの変数ＡＮＳは重装甲だ fact9: 「なんらかの物は注意深いがしかし一思いでない」ということは嘘であるとしたら「それは注意深くない」ということは成り立つ fact10: 注意深くないものは予測し難くないしそれに心許なくない fact11: 「ある物はＴＡＢでないかそれは判別し易くない」ということは真実でないならばそれは注意深くない fact12: この賛成派は張り合えば「あの他部局はＴＡＢでないかまたは判別し易くないかあるいは両方ともである」ということは成り立つということはない fact13: あの軽費老人ホームは御安い fact14: もし仮に「この順天大街は解し難いし加えて深い」ということは成り立たないとするとあの知悉は御安くない
fact8 & fact5 -> hypothesis;
「あの変数ＡＮＳは重装甲でない」ということは成り立つ
fact21 -> int1: あの知悉が御安いということはないとすると重装甲だが一文無しでない; fact23 -> int2: もしそのクラッシュドアイスが注意深いということはないとするとそれは予測し難くないし更に心許ないということはない; fact20 -> int3: もしも「そのクラッシュドアイスは注意深いがしかし一思いであるということはない」ということは成り立たないとするとそれは注意深くない; fact15 -> int4: もし仮に「あの他部局はＴＡＢだということはないかそれは判別し易くないかもしくはどちらもだ」ということは確かでないなら注意深くない; fact16 & fact22 -> int5: 「あの他部局はＴＡＢでないかあるいは判別し易くないかどちらもである」ということは誤りだ; int4 & int5 -> int6: あの他部局は注意深くない; int6 -> int7: 「「注意深いということはない」ということは確かである」ものはある;
$facts$ = fact1: もしもあの中華民国が重装甲でないとしたらあの変数ＡＮＳは重装甲でない fact2: あのちゃんちゃんこは予測し難くないとすれば「この順天大街は解し難いし加えて深い」ということは間違いだ fact3: もしもあの知悉が重装甲だがしかし一文無しでないならばあの中華民国は重装甲でない fact4: そのクラッシュドアイスが予測し難くないし心許なくないならばあのちゃんちゃんこは予測し難くない fact5: あの中華民国は御安い fact6: もしもある物が御安くないとすると重装甲であるしそれに一文無しでない fact7: この賛成派は張り合う fact8: 仮にあの中華民国が御安いならあの変数ＡＮＳは重装甲だ fact9: 「なんらかの物は注意深いがしかし一思いでない」ということは嘘であるとしたら「それは注意深くない」ということは成り立つ fact10: 注意深くないものは予測し難くないしそれに心許なくない fact11: 「ある物はＴＡＢでないかそれは判別し易くない」ということは真実でないならばそれは注意深くない fact12: この賛成派は張り合えば「あの他部局はＴＡＢでないかまたは判別し易くないかあるいは両方ともである」ということは成り立つということはない fact13: あの軽費老人ホームは御安い fact14: もし仮に「この順天大街は解し難いし加えて深い」ということは成り立たないとするとあの知悉は御安くない ; $hypothesis$ = あの変数ＡＮＳは重装甲である ; $proof$ = 
fact8 & fact5 -> hypothesis; __PROVED__
事実1: もしもあの中華民国が重装甲でないとしたらあの変数ＡＮＳは重装甲でない
事実2: あのちゃんちゃんこは予測し難くないとすれば「この順天大街は解し難いし加えて深い」ということは間違いだ
事実3: もしもあの知悉が重装甲だがしかし一文無しでないならばあの中華民国は重装甲でない
事実4: そのクラッシュドアイスが予測し難くないし心許なくないならばあのちゃんちゃんこは予測し難くない
事実5: あの中華民国は御安い
事実6: もしもある物が御安くないとすると重装甲であるしそれに一文無しでない
事実7: この賛成派は張り合う
事実8: 仮にあの中華民国が御安いならあの変数ＡＮＳは重装甲だ
事実9: 「なんらかの物は注意深いがしかし一思いでない」ということは嘘であるとしたら「それは注意深くない」ということは成り立つ
事実10: 注意深くないものは予測し難くないしそれに心許なくない
事実11: 「ある物はＴＡＢでないかそれは判別し易くない」ということは真実でないならばそれは注意深くない
事実12: この賛成派は張り合えば「あの他部局はＴＡＢでないかまたは判別し易くないかあるいは両方ともである」ということは成り立つということはない
事実13: あの軽費老人ホームは御安い
事実14: もし仮に「この順天大街は解し難いし加えて深い」ということは成り立たないとするとあの知悉は御安くない

仮説: あの変数ＡＮＳは重装甲である
1. 事実8と事実5から、仮説が導かれる

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