その干渉は達成し得る
fact1: その定足数が舞い上がるということはないならばあの吐露は呼び立てるしまたそれは転入する fact2: もし仮にこのディフェンステクニックが舞い上がるとすればこの年現在は記者でない fact3: もし「転入するし更に呼び立てる」物があればこのディフェンステクニックは舞い上がる fact4: ある物は呼び立てる fact5: もしこの年現在が記者でないならばあの干渉は達成し得る fact6: このディフェンステクニックは達成し得るということはない fact7: あの周知徹底は転入する fact8: その定足数は転入する fact9: あの吐露は蓚酸だ fact10: 「このディフェンステクニックは記者だ」ということは成り立つ fact11: 「なんらかのものは舞い上がらないかもしくはそれは記者であるかまたはどちらもである」ということは正しくないとしたら転入しない fact12: もしあの吐露が蓚酸であるとすればその定足数は呼び立てる fact13: あの吐露は舞い上がる fact14: あのバストアップは密閉するし更にそれは呼び立てる fact15: もしその定足数は達成し得ないとしたら「その干渉は呼び立てない」ということは嘘だ fact16: あの吐露は呼び立てない
fact12 & fact9 -> int1: その定足数は呼び立てる; int1 & fact8 -> int2: その定足数は転入するし呼び立てる; int2 -> int3: なにかは転入するしかつそれは呼び立てる; int3 & fact3 -> int4: このディフェンステクニックは舞い上がる; int4 & fact2 -> int5: この年現在は記者でない; int5 & fact5 -> hypothesis;
あの吐露は呼び立てる
fact18 -> int6: もし仮に「その定足数は舞い上がらないかもしくは記者であるかあるいは両方だ」ということは成り立たないとしたらそれは転入しない; fact17 -> int7: とあるものは達成し得ない;
$facts$ = fact1: その定足数が舞い上がるということはないならばあの吐露は呼び立てるしまたそれは転入する fact2: もし仮にこのディフェンステクニックが舞い上がるとすればこの年現在は記者でない fact3: もし「転入するし更に呼び立てる」物があればこのディフェンステクニックは舞い上がる fact4: ある物は呼び立てる fact5: もしこの年現在が記者でないならばあの干渉は達成し得る fact6: このディフェンステクニックは達成し得るということはない fact7: あの周知徹底は転入する fact8: その定足数は転入する fact9: あの吐露は蓚酸だ fact10: 「このディフェンステクニックは記者だ」ということは成り立つ fact11: 「なんらかのものは舞い上がらないかもしくはそれは記者であるかまたはどちらもである」ということは正しくないとしたら転入しない fact12: もしあの吐露が蓚酸であるとすればその定足数は呼び立てる fact13: あの吐露は舞い上がる fact14: あのバストアップは密閉するし更にそれは呼び立てる fact15: もしその定足数は達成し得ないとしたら「その干渉は呼び立てない」ということは嘘だ fact16: あの吐露は呼び立てない ; $hypothesis$ = その干渉は達成し得る ; $proof$ = 
fact12 & fact9 -> int1: その定足数は呼び立てる; int1 & fact8 -> int2: その定足数は転入するし呼び立てる; int2 -> int3: なにかは転入するしかつそれは呼び立てる; int3 & fact3 -> int4: このディフェンステクニックは舞い上がる; int4 & fact2 -> int5: この年現在は記者でない; int5 & fact5 -> hypothesis; __PROVED__
事実1: その定足数が舞い上がるということはないならばあの吐露は呼び立てるしまたそれは転入する
事実2: もし仮にこのディフェンステクニックが舞い上がるとすればこの年現在は記者でない
事実3: もし「転入するし更に呼び立てる」物があればこのディフェンステクニックは舞い上がる
事実4: ある物は呼び立てる
事実5: もしこの年現在が記者でないならばあの干渉は達成し得る
事実6: このディフェンステクニックは達成し得るということはない
事実7: あの周知徹底は転入する
事実8: その定足数は転入する
事実9: あの吐露は蓚酸だ
事実10: 「このディフェンステクニックは記者だ」ということは成り立つ
事実11: 「なんらかのものは舞い上がらないかもしくはそれは記者であるかまたはどちらもである」ということは正しくないとしたら転入しない
事実12: もしあの吐露が蓚酸であるとすればその定足数は呼び立てる
事実13: あの吐露は舞い上がる
事実14: あのバストアップは密閉するし更にそれは呼び立てる
事実15: もしその定足数は達成し得ないとしたら「その干渉は呼び立てない」ということは嘘だ
事実16: あの吐露は呼び立てない

仮説: その干渉は達成し得る
1. 事実12と事実9から、推論1: "その定足数は呼び立てる"が導かれる
2. 推論1と事実8から、推論2: "その定足数は転入するし呼び立てる"が導かれる
3. 推論2から、推論3: "なにかは転入するしかつそれは呼び立てる"が導かれる
4. 推論3と事実3から、推論4: "このディフェンステクニックは舞い上がる"が導かれる
5. 推論4と事実2から、推論5: "この年現在は記者でない"が導かれる
6. 推論5と事実5から、仮説が導かれる

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