その英語用は自爆する
fact1: もしとある物が特注しないならその限界値は狙えるしそれは上がり難い fact2: もし「なんらかのものは自爆するしさらに狙える」ということは嘘ならそれは自爆するということはない fact3: その政所は特注しない fact4: 頑是無い物は抽象化である fact5: 仮にあるものは頑是無くないとすると「それは自爆するし狙える」ということは誤っている fact6: この南西部資本は頑是無い fact7: その英語用は無段変速ＡＴだ fact8: その英語用は頑是無くて自爆する fact9: もし仮に「とあるものは狙えない一方でそれは自爆する」ということは成り立たないとするとそれは頑是無い fact10: その英語用は頑是無い fact11: あの嗽は自爆する
fact8 -> hypothesis;
fact8 -> hypothesis;
その英語用は自爆しない
fact12 -> int1: もし「その英語用は自爆するし狙える」ということは本当であるということはないなら自爆しない; fact13 -> int2: もし仮にその英語用は頑是無くないとすれば「自爆するしおまけに狙える」ということは誤っている;
$facts$ = fact1: もしとある物が特注しないならその限界値は狙えるしそれは上がり難い fact2: もし「なんらかのものは自爆するしさらに狙える」ということは嘘ならそれは自爆するということはない fact3: その政所は特注しない fact4: 頑是無い物は抽象化である fact5: 仮にあるものは頑是無くないとすると「それは自爆するし狙える」ということは誤っている fact6: この南西部資本は頑是無い fact7: その英語用は無段変速ＡＴだ fact8: その英語用は頑是無くて自爆する fact9: もし仮に「とあるものは狙えない一方でそれは自爆する」ということは成り立たないとするとそれは頑是無い fact10: その英語用は頑是無い fact11: あの嗽は自爆する ; $hypothesis$ = その英語用は自爆する ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしとある物が特注しないならその限界値は狙えるしそれは上がり難い
事実2: もし「なんらかのものは自爆するしさらに狙える」ということは嘘ならそれは自爆するということはない
事実3: その政所は特注しない
事実4: 頑是無い物は抽象化である
事実5: 仮にあるものは頑是無くないとすると「それは自爆するし狙える」ということは誤っている
事実6: この南西部資本は頑是無い
事実7: その英語用は無段変速ＡＴだ
事実8: その英語用は頑是無くて自爆する
事実9: もし仮に「とあるものは狙えない一方でそれは自爆する」ということは成り立たないとするとそれは頑是無い
事実10: その英語用は頑是無い
事実11: あの嗽は自爆する

仮説: その英語用は自爆する
1. 事実8から、仮説が導かれる

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