そのマーボー豆腐は汚らしくてかつでっかい
fact1: あの意思決定機関は乱反射する fact2: そのマーボー豆腐が戻せるならそれはでっかい fact3: あの資格等は乱反射しない fact4: もしなんらかのものは腹黒くないならば「戻せるがでっかくない」ということは誤っている fact5: もし「そのマーボー豆腐は戻せるけどでっかくない」ということは成り立たないならその青べか物語はでっかくない fact6: そのマーボー豆腐は教育的配慮であるならそれは汚らしい fact7: あの丸大豆は教育的配慮である fact8: もし仮にあの意思決定機関が導入すれば腹黒い fact9: でっかくない物は教育的配慮である fact10: 仮に「その会長秘書は四メートル前後でないかもしくはうざいということはない」ということは確かでないならそのマーボー豆腐は腹黒くない fact11: 仮にこの人文学が戻せるとしたらテークバックする fact12: 仮に「あるものが四メートル前後だしさらに御固い」ということは成り立たないなら四メートル前後でない fact13: あの意思決定機関は導入する fact14: そのマーボー豆腐は教育的配慮である fact15: 何らかの物は教育的配慮でないならば「汚らしいしかつでっかい」ということは間違いだ fact16: そのマーボー豆腐は戻せる fact17: もし仮に「「乱反射しない」ということは真実である」ものはあるとしたら「その会長秘書は四メートル前後で御固い」ということは事実と異なる fact18: あの生存闘争は戻せる fact19: もしも「なにかは四メートル前後でない」ということは成り立てば戻せるし更にそれはうざい fact20: そのマーボー豆腐はボウル内乾燥面であるしドッキングする fact21: もしもあの意思決定機関が腹黒いとするとその会長秘書は腹黒い
fact6 & fact14 -> int1: そのマーボー豆腐は汚らしい; fact16 & fact2 -> int2: そのマーボー豆腐はでっかい; int1 & int2 -> hypothesis;
fact6 & fact14 -> int1: {B}{a}; fact16 & fact2 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「そのマーボー豆腐は汚らしいしかつでっかい」ということは誤っている
fact28 -> int3: もしそのマーボー豆腐は教育的配慮でないならば「それは汚らしくてでっかい」ということは誤っている; fact29 -> int4: もしもその会長秘書は四メートル前後でないなら戻せるししかもうざい; fact22 -> int5: もし仮に「その会長秘書は四メートル前後でその上御固い」ということは間違っていれば四メートル前後でない; fact24 -> int6: 「乱反射しない」物はある; int6 & fact26 -> int7: 「その会長秘書は四メートル前後であるしそれは御固い」ということは事実と異なる; int5 & int7 -> int8: その会長秘書は四メートル前後でない; int4 & int8 -> int9: その会長秘書は戻せるしそれにそれはうざい; int9 -> int10: 「その会長秘書は戻せる」ということは成り立つ; fact23 & fact27 -> int11: あの意思決定機関は腹黒い; fact25 & int11 -> int12: その会長秘書は腹黒い; int10 & int12 -> int13: その会長秘書は戻せるしそれは腹黒い; int13 -> int14: 何らかの物は戻せるし更に腹黒い;
$facts$ = fact1: あの意思決定機関は乱反射する fact2: そのマーボー豆腐が戻せるならそれはでっかい fact3: あの資格等は乱反射しない fact4: もしなんらかのものは腹黒くないならば「戻せるがでっかくない」ということは誤っている fact5: もし「そのマーボー豆腐は戻せるけどでっかくない」ということは成り立たないならその青べか物語はでっかくない fact6: そのマーボー豆腐は教育的配慮であるならそれは汚らしい fact7: あの丸大豆は教育的配慮である fact8: もし仮にあの意思決定機関が導入すれば腹黒い fact9: でっかくない物は教育的配慮である fact10: 仮に「その会長秘書は四メートル前後でないかもしくはうざいということはない」ということは確かでないならそのマーボー豆腐は腹黒くない fact11: 仮にこの人文学が戻せるとしたらテークバックする fact12: 仮に「あるものが四メートル前後だしさらに御固い」ということは成り立たないなら四メートル前後でない fact13: あの意思決定機関は導入する fact14: そのマーボー豆腐は教育的配慮である fact15: 何らかの物は教育的配慮でないならば「汚らしいしかつでっかい」ということは間違いだ fact16: そのマーボー豆腐は戻せる fact17: もし仮に「「乱反射しない」ということは真実である」ものはあるとしたら「その会長秘書は四メートル前後で御固い」ということは事実と異なる fact18: あの生存闘争は戻せる fact19: もしも「なにかは四メートル前後でない」ということは成り立てば戻せるし更にそれはうざい fact20: そのマーボー豆腐はボウル内乾燥面であるしドッキングする fact21: もしもあの意思決定機関が腹黒いとするとその会長秘書は腹黒い ; $hypothesis$ = そのマーボー豆腐は汚らしくてかつでっかい ; $proof$ = 
fact6 & fact14 -> int1: そのマーボー豆腐は汚らしい; fact16 & fact2 -> int2: そのマーボー豆腐はでっかい; int1 & int2 -> hypothesis; __PROVED__
事実1: あの意思決定機関は乱反射する
事実2: そのマーボー豆腐が戻せるならそれはでっかい
事実3: あの資格等は乱反射しない
事実4: もしなんらかのものは腹黒くないならば「戻せるがでっかくない」ということは誤っている
事実5: もし「そのマーボー豆腐は戻せるけどでっかくない」ということは成り立たないならその青べか物語はでっかくない
事実6: そのマーボー豆腐は教育的配慮であるならそれは汚らしい
事実7: あの丸大豆は教育的配慮である
事実8: もし仮にあの意思決定機関が導入すれば腹黒い
事実9: でっかくない物は教育的配慮である
事実10: 仮に「その会長秘書は四メートル前後でないかもしくはうざいということはない」ということは確かでないならそのマーボー豆腐は腹黒くない
事実11: 仮にこの人文学が戻せるとしたらテークバックする
事実12: 仮に「あるものが四メートル前後だしさらに御固い」ということは成り立たないなら四メートル前後でない
事実13: あの意思決定機関は導入する
事実14: そのマーボー豆腐は教育的配慮である
事実15: 何らかの物は教育的配慮でないならば「汚らしいしかつでっかい」ということは間違いだ
事実16: そのマーボー豆腐は戻せる
事実17: もし仮に「「乱反射しない」ということは真実である」ものはあるとしたら「その会長秘書は四メートル前後で御固い」ということは事実と異なる
事実18: あの生存闘争は戻せる
事実19: もしも「なにかは四メートル前後でない」ということは成り立てば戻せるし更にそれはうざい
事実20: そのマーボー豆腐はボウル内乾燥面であるしドッキングする
事実21: もしもあの意思決定機関が腹黒いとするとその会長秘書は腹黒い

仮説: そのマーボー豆腐は汚らしくてかつでっかい
1. 事実6と事実14から、推論1: "そのマーボー豆腐は汚らしい"が導かれる
2. 事実16と事実2から、推論2: "そのマーボー豆腐はでっかい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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