その天敵は無機物質でないかもしくはそれは活動し易いかまたはどちらもである
fact1: もしあの燃料ポンプは素睫でないとすれば「その城壁はチロシン燐酸化しないかまたはそれは避け難いかもしくはどちらもである」ということは間違っている fact2: その瘋癲は疲れ難いということはない fact3: もしあの老化防止が無機物質でないとしたらその天敵は無機物質でないか活動し易い fact4: もしも「その瘋癲は引き離せない一方で構造化する」ということは事実と異なるとすればそれは構造化しない fact5: もし仮に「気筒な」ものがあるとするとあの老化防止は流れ行く fact6: もしその瘋癲は疲れ難くないとすれば「引き離せないしまたそれは構造化する」ということは間違っている fact7: 「気筒である」物はある fact8: もしその天敵が無機物質でないとするとあの老化防止は無機物質でないかあるいは活動し易い fact9: あの老化防止が無機物質でないならその天敵は無機物質であるかもしくは活動し易いかもしくは両方ともである fact10: もしもあの老化防止は気筒であるということはないなら「「その天敵は無機物質でないかもしくはそれは活動し易いかあるいはどちらもだ」ということは確かだ」ということは事実と異なる fact11: 何らかのものはそつ無い fact12: もし仮に「その城壁はチロシン燐酸化しないかあるいは避け難いかもしくはどちらもだ」ということは成り立たないとすると「その翼板は流れ行く」ということは真実だ fact13: あの老化防止は活動し易いかまたは流れ行くかあるいはどちらもだ fact14: あの燃料ポンプは素睫でない fact15: もし仮になにかは流れ行くならそれは無機物質でない fact16: その天敵は無機物質であるかまたは活動し易い
fact7 & fact5 -> int1: あの老化防止は流れ行く; fact15 -> int2: 仮にあの老化防止が流れ行くならそれは無機物質でない; int1 & int2 -> int3: あの老化防止は無機物質でない; int3 & fact3 -> hypothesis;
fact7 & fact5 -> int1: {B}{a}; fact15 -> int2: {B}{a} -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact3 -> hypothesis;
「その天敵は無機物質であるということはないか活動し易いかまたはどちらもだ」ということは真実でない
fact23 & fact19 -> int4: 「その城壁はチロシン燐酸化するということはないかそれは避け難いかあるいは両方だ」ということは成り立たない; fact20 & int4 -> int5: 「その翼板は流れ行く」ということは成り立つ; fact21 & fact17 -> int6: 「「その瘋癲は引き離せるということはないがしかし構造化する」ということは成り立たない」ということは成り立つ; fact18 & int6 -> int7: その瘋癲は構造化しない;
$facts$ = fact1: もしあの燃料ポンプは素睫でないとすれば「その城壁はチロシン燐酸化しないかまたはそれは避け難いかもしくはどちらもである」ということは間違っている fact2: その瘋癲は疲れ難いということはない fact3: もしあの老化防止が無機物質でないとしたらその天敵は無機物質でないか活動し易い fact4: もしも「その瘋癲は引き離せない一方で構造化する」ということは事実と異なるとすればそれは構造化しない fact5: もし仮に「気筒な」ものがあるとするとあの老化防止は流れ行く fact6: もしその瘋癲は疲れ難くないとすれば「引き離せないしまたそれは構造化する」ということは間違っている fact7: 「気筒である」物はある fact8: もしその天敵が無機物質でないとするとあの老化防止は無機物質でないかあるいは活動し易い fact9: あの老化防止が無機物質でないならその天敵は無機物質であるかもしくは活動し易いかもしくは両方ともである fact10: もしもあの老化防止は気筒であるということはないなら「「その天敵は無機物質でないかもしくはそれは活動し易いかあるいはどちらもだ」ということは確かだ」ということは事実と異なる fact11: 何らかのものはそつ無い fact12: もし仮に「その城壁はチロシン燐酸化しないかあるいは避け難いかもしくはどちらもだ」ということは成り立たないとすると「その翼板は流れ行く」ということは真実だ fact13: あの老化防止は活動し易いかまたは流れ行くかあるいはどちらもだ fact14: あの燃料ポンプは素睫でない fact15: もし仮になにかは流れ行くならそれは無機物質でない fact16: その天敵は無機物質であるかまたは活動し易い ; $hypothesis$ = その天敵は無機物質でないかもしくはそれは活動し易いかまたはどちらもである ; $proof$ = 
fact7 & fact5 -> int1: あの老化防止は流れ行く; fact15 -> int2: 仮にあの老化防止が流れ行くならそれは無機物質でない; int1 & int2 -> int3: あの老化防止は無機物質でない; int3 & fact3 -> hypothesis; __PROVED__
事実1: もしあの燃料ポンプは素睫でないとすれば「その城壁はチロシン燐酸化しないかまたはそれは避け難いかもしくはどちらもである」ということは間違っている
事実2: その瘋癲は疲れ難いということはない
事実3: もしあの老化防止が無機物質でないとしたらその天敵は無機物質でないか活動し易い
事実4: もしも「その瘋癲は引き離せない一方で構造化する」ということは事実と異なるとすればそれは構造化しない
事実5: もし仮に「気筒な」ものがあるとするとあの老化防止は流れ行く
事実6: もしその瘋癲は疲れ難くないとすれば「引き離せないしまたそれは構造化する」ということは間違っている
事実7: 「気筒である」物はある
事実8: もしその天敵が無機物質でないとするとあの老化防止は無機物質でないかあるいは活動し易い
事実9: あの老化防止が無機物質でないならその天敵は無機物質であるかもしくは活動し易いかもしくは両方ともである
事実10: もしもあの老化防止は気筒であるということはないなら「「その天敵は無機物質でないかもしくはそれは活動し易いかあるいはどちらもだ」ということは確かだ」ということは事実と異なる
事実11: 何らかのものはそつ無い
事実12: もし仮に「その城壁はチロシン燐酸化しないかあるいは避け難いかもしくはどちらもだ」ということは成り立たないとすると「その翼板は流れ行く」ということは真実だ
事実13: あの老化防止は活動し易いかまたは流れ行くかあるいはどちらもだ
事実14: あの燃料ポンプは素睫でない
事実15: もし仮になにかは流れ行くならそれは無機物質でない
事実16: その天敵は無機物質であるかまたは活動し易い

仮説: その天敵は無機物質でないかもしくはそれは活動し易いかまたはどちらもである
1. 事実7と事実5から、推論1: "あの老化防止は流れ行く"が導かれる
2. 事実15から、推論2: "仮にあの老化防止が流れ行くならそれは無機物質でない"が導かれる
3. 推論1と推論2から、推論3: "あの老化防止は無機物質でない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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