「あのケアカンファレンスは行動出来るが雇い止めでない」ということは成り立たない
fact1: もし「この遺伝子産物は行動出来ないしさらに太り易くない」ということは成り立たないとすればそれはバイオジェットだ fact2: その遮断周波数は雇い止めでない fact3: あの発電効率はバイオジェットでない fact4: その遮断周波数は不帰である fact5: 仮にこの遺伝子産物はバイオジェットだとしたら「あのケアカンファレンスはバイオジェットだしその上論理的根拠だ」ということは本当でない fact6: この遺伝子産物は論理的根拠でそれは行き届く fact7: 「この遺伝子産物はバイオジェットでないしそれに太り易くない」ということは成り立たない fact8: その在職はバイオジェットだ fact9: もしも「この遺伝子産物はバイオジェットでないししかも太り易くない」ということは誤りであるとしたら人らしい fact10: この遺伝子産物は蜻蛉返りする fact11: もしもその遮断周波数は行動出来れば「あのケアカンファレンスは行動出来るがしかし雇い止めでない」ということは間違いである fact12: 「あのケアカンファレンスは行動出来るしそれは人らしい」ということは誤りである fact13: もしこの遺伝子産物は雇い止めであるとしたら「あのケアカンファレンスは雇い止めであるしそれは太り易い」ということは成り立たない fact14: その遮断周波数が公的支援でしかもそれが人らしいとしたらこの遺伝子産物は論理的根拠でない fact15: この遺伝子産物はシエラでない fact16: 「この遺伝子産物はバイオジェットでないけど太り易い」ということは嘘だ fact17: あのケアカンファレンスは人らしくない fact18: 「仮にその遮断周波数が公的支援でないとすればその遮断周波数は行動出来る」ということは真実だ fact19: この遺伝子産物が人らしいし行き届くとするとその遮断周波数は公的支援でない fact20: もし仮にその遮断周波数は人らしいとすれば「それは行動出来る」ということは確かだ fact21: その遮断周波数はバックネットだ fact22: もしもこの遺伝子産物が人らしいし加えて行動出来るとしたらあのケアカンファレンスは行き届かない
fact9 & fact7 -> int1: この遺伝子産物は人らしい; fact6 -> int2: この遺伝子産物は行き届く; int1 & int2 -> int3: この遺伝子産物は人らしいしさらに行き届く; int3 & fact19 -> int4: その遮断周波数は公的支援でない; int4 & fact18 -> int5: その遮断周波数は行動出来る; int5 & fact11 -> 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$ = 
fact9 & fact7 -> int1: この遺伝子産物は人らしい; fact6 -> int2: この遺伝子産物は行き届く; int1 & int2 -> int3: この遺伝子産物は人らしいしさらに行き届く; int3 & fact19 -> int4: その遮断周波数は公的支援でない; int4 & fact18 -> int5: その遮断周波数は行動出来る; int5 & fact11 -> 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. 事実9と事実7から、推論1: "この遺伝子産物は人らしい"が導かれる
2. 事実6から、推論2: "この遺伝子産物は行き届く"が導かれる
3. 推論1と推論2から、推論3: "この遺伝子産物は人らしいしさらに行き届く"が導かれる
4. 推論3と事実19から、推論4: "その遮断周波数は公的支援でない"が導かれる
5. 推論4と事実18から、推論5: "その遮断周波数は行動出来る"が導かれる
6. 推論5と事実11から、仮説が導かれる

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