もしあの引き渡し等が臭いとすればあの過敏は遣り直せる
fact1: もしもあの引き渡し等が臭いとすれば遣り直せる fact2: その過敏は入り辛い fact3: 仮にあの引き渡し等が拒み続けるとしたらその中国戦線は拒み続ける fact4: あの引き渡し等は参集する fact5: この三．三．は臭い fact6: 「あの引き渡し等は統合出来る」ということは正しい fact7: あの販促は遣り直せる fact8: 仮にその過敏が臭いとすればあの引き渡し等は遣り直せる fact9: 「その過敏は澄ます」ということは事実だ fact10: もしもとある物は独立家屋であるしさらに拒み続けるとするとそれは遣り直せらない fact11: その過敏は落水地点だ fact12: もしもあの引き渡し等が臭いなら落水地点である fact13: あの引き渡し等は遣り直せる fact14: もし仮になにがしかの物が遣り直せらないならば落水地点だが臭くない fact15: そのフローラル系は遣り直せる fact16: もし仮に「あの引き渡し等は落水地点だ」ということは確かであるならその過敏は遣り直せる fact17: その過敏は脱出出来ない fact18: あの中古品は遣り直せる fact19: その中国戦線は引退試合しない fact20: 仮にその中国戦線が引退試合しないとするとそれは独立家屋であるし更に百六十四番号である fact21: 仮に「脱出出来ない」物があればあの引き渡し等は救命出来るしまたそれは拒み続ける fact22: 仮にあの引き渡し等が遣り直せるとすればその過敏は落水地点だ
void -> assump1: 以下のように仮定する。あの引き渡し等は臭い; fact12 & assump1 -> int1: あの引き渡し等は落水地点である; int1 & fact16 -> int2: その過敏は遣り直せる; [assump1] & int2 -> hypothesis;
その中国戦線は落水地点だ
fact26 -> int3: もし仮に「その中国戦線は遣り直せらない」ということは本当だとすれば落水地点でまたそれは臭くない; fact29 -> int4: もしその中国戦線が独立家屋だしまた拒み続けるとしたら遣り直せるということはない; fact23 & fact27 -> int5: その中国戦線は独立家屋であるし百六十四番号である; int5 -> int6: その中国戦線は独立家屋である; fact24 -> int7: とあるものは脱出出来ない; int7 & fact28 -> int8: あの引き渡し等は救命出来るしそれは拒み続ける; int8 -> int9: あの引き渡し等は拒み続ける; fact25 & int9 -> int10: その中国戦線は拒み続ける; int6 & int10 -> int11: その中国戦線は独立家屋であるし拒み続ける; int4 & int11 -> int12: 「その中国戦線は遣り直せらない」ということは確かだ; int3 & int12 -> int13: その中国戦線は落水地点であるがしかしそれは臭くない; int13 -> hypothesis;
$facts$ = fact1: もしもあの引き渡し等が臭いとすれば遣り直せる fact2: その過敏は入り辛い fact3: 仮にあの引き渡し等が拒み続けるとしたらその中国戦線は拒み続ける fact4: あの引き渡し等は参集する fact5: この三．三．は臭い fact6: 「あの引き渡し等は統合出来る」ということは正しい fact7: あの販促は遣り直せる fact8: 仮にその過敏が臭いとすればあの引き渡し等は遣り直せる fact9: 「その過敏は澄ます」ということは事実だ fact10: もしもとある物は独立家屋であるしさらに拒み続けるとするとそれは遣り直せらない fact11: その過敏は落水地点だ fact12: もしもあの引き渡し等が臭いなら落水地点である fact13: あの引き渡し等は遣り直せる fact14: もし仮になにがしかの物が遣り直せらないならば落水地点だが臭くない fact15: そのフローラル系は遣り直せる fact16: もし仮に「あの引き渡し等は落水地点だ」ということは確かであるならその過敏は遣り直せる fact17: その過敏は脱出出来ない fact18: あの中古品は遣り直せる fact19: その中国戦線は引退試合しない fact20: 仮にその中国戦線が引退試合しないとするとそれは独立家屋であるし更に百六十四番号である fact21: 仮に「脱出出来ない」物があればあの引き渡し等は救命出来るしまたそれは拒み続ける fact22: 仮にあの引き渡し等が遣り直せるとすればその過敏は落水地点だ ; $hypothesis$ = もしあの引き渡し等が臭いとすればあの過敏は遣り直せる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの引き渡し等は臭い; fact12 & assump1 -> int1: あの引き渡し等は落水地点である; int1 & fact16 -> int2: その過敏は遣り直せる; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもあの引き渡し等が臭いとすれば遣り直せる
事実2: その過敏は入り辛い
事実3: 仮にあの引き渡し等が拒み続けるとしたらその中国戦線は拒み続ける
事実4: あの引き渡し等は参集する
事実5: この三．三．は臭い
事実6: 「あの引き渡し等は統合出来る」ということは正しい
事実7: あの販促は遣り直せる
事実8: 仮にその過敏が臭いとすればあの引き渡し等は遣り直せる
事実9: 「その過敏は澄ます」ということは事実だ
事実10: もしもとある物は独立家屋であるしさらに拒み続けるとするとそれは遣り直せらない
事実11: その過敏は落水地点だ
事実12: もしもあの引き渡し等が臭いなら落水地点である
事実13: あの引き渡し等は遣り直せる
事実14: もし仮になにがしかの物が遣り直せらないならば落水地点だが臭くない
事実15: そのフローラル系は遣り直せる
事実16: もし仮に「あの引き渡し等は落水地点だ」ということは確かであるならその過敏は遣り直せる
事実17: その過敏は脱出出来ない
事実18: あの中古品は遣り直せる
事実19: その中国戦線は引退試合しない
事実20: 仮にその中国戦線が引退試合しないとするとそれは独立家屋であるし更に百六十四番号である
事実21: 仮に「脱出出来ない」物があればあの引き渡し等は救命出来るしまたそれは拒み続ける
事実22: 仮にあの引き渡し等が遣り直せるとすればその過敏は落水地点だ

仮説: もしあの引き渡し等が臭いとすればあの過敏は遣り直せる
1. 仮定1: 以下のように仮定する。あの引き渡し等は臭い
2. 事実12と仮定1から、推論1: "あの引き渡し等は落水地点である"が導かれる
3. 推論1と事実16から、推論2: "その過敏は遣り直せる"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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