「「あの香木は有り余らないけど若々しい」ということは成り立たない」ということは真実だ
fact1: あの香木は体する fact2: 「あのプロフィールページは分化過程でないけどそれは色調整だ」ということは間違いだ fact3: あの香木は高鳴る fact4: この発起設立が体するけれどキナーゼであるということはないとしたらあの香木は若々しい fact5: あのサブトラクションは高鳴る fact6: もしこの発起設立が体するということはないしその上キナーゼであるということはないとするとあの香木は若々しい fact7: この宅地並み課税は催告する fact8: この発起設立はオンしないけどそれは秘境だ fact9: あのプロフィールページは皮肉っぽくない fact10: その足長は催告する fact11: この発起設立は皮肉っぽいということはない fact12: もしもあのプロフィールページが皮肉っぽいということはないとしたらこの発起設立は体しない fact13: もし仮にとある物が高鳴るということはないとしたらそれはキナーゼでないしさらに租・庸・調だということはない fact14: 仮にあるものが体しないとするとそれは若々しくてかつ有り余る fact15: もしもこの発起設立がキナーゼでしかも催告するとすると高鳴るということはない fact16: もし「あの香木は高鳴るしその上催告する」ということは真実だとすると有り余らない fact17: もし仮にこの発起設立は有り余るしかつ催告すれば「あの香木は高鳴らない」ということは事実である fact18: 仮に何かは皮肉っぽくないとしたらそれは体するということはない fact19: この発起設立は体しない fact20: もしもあのプロフィールページが皮肉っぽくないならばあの発起設立は体しなくてその上キナーゼでない fact21: あの香木は催告する
fact3 & fact21 -> int1: あの香木は高鳴るし加えて催告する; int1 & fact16 -> int2: あの香木は有り余らない; fact20 & fact9 -> int3: この発起設立は体しないしそれにキナーゼでない; fact6 & int3 -> int4: あの香木は若々しい; int2 & int4 -> hypothesis;
fact3 & fact21 -> int1: ({A}{a} & {B}{a}); int1 & fact16 -> int2: ¬{C}{a}; fact20 & fact9 -> int3: (¬{F}{b} & ¬{E}{b}); fact6 & int3 -> int4: {D}{a}; int2 & int4 -> hypothesis;
あの香木はキナーゼでないし租・庸・調でない
fact25 -> int5: もしあの香木が高鳴らないとすればそれはキナーゼでないし租・庸・調でない; fact24 -> int6: 仮にこの発起設立が体しないとすればそれは若々しいし有り余る; fact23 -> int7: 仮にこの発起設立が皮肉っぽくないとすればそれは体しない; int7 & fact27 -> int8: この発起設立は体するということはない; int6 & int8 -> int9: 「この発起設立は若々しいしそれに有り余る」ということは成り立つ; int9 -> int10: この発起設立は有り余る; fact22 -> int11: 「「分化過程でないしさらに色調整だ」ということは間違いな」物はある;
$facts$ = fact1: あの香木は体する fact2: 「あのプロフィールページは分化過程でないけどそれは色調整だ」ということは間違いだ fact3: あの香木は高鳴る fact4: この発起設立が体するけれどキナーゼであるということはないとしたらあの香木は若々しい fact5: あのサブトラクションは高鳴る fact6: もしこの発起設立が体するということはないしその上キナーゼであるということはないとするとあの香木は若々しい fact7: この宅地並み課税は催告する fact8: この発起設立はオンしないけどそれは秘境だ fact9: あのプロフィールページは皮肉っぽくない fact10: その足長は催告する fact11: この発起設立は皮肉っぽいということはない fact12: もしもあのプロフィールページが皮肉っぽいということはないとしたらこの発起設立は体しない fact13: もし仮にとある物が高鳴るということはないとしたらそれはキナーゼでないしさらに租・庸・調だということはない fact14: 仮にあるものが体しないとするとそれは若々しくてかつ有り余る fact15: もしもこの発起設立がキナーゼでしかも催告するとすると高鳴るということはない fact16: もし「あの香木は高鳴るしその上催告する」ということは真実だとすると有り余らない fact17: もし仮にこの発起設立は有り余るしかつ催告すれば「あの香木は高鳴らない」ということは事実である fact18: 仮に何かは皮肉っぽくないとしたらそれは体するということはない fact19: この発起設立は体しない fact20: もしもあのプロフィールページが皮肉っぽくないならばあの発起設立は体しなくてその上キナーゼでない fact21: あの香木は催告する ; $hypothesis$ = 「「あの香木は有り余らないけど若々しい」ということは成り立たない」ということは真実だ ; $proof$ = 
fact3 & fact21 -> int1: あの香木は高鳴るし加えて催告する; int1 & fact16 -> int2: あの香木は有り余らない; fact20 & fact9 -> int3: この発起設立は体しないしそれにキナーゼでない; fact6 & int3 -> int4: あの香木は若々しい; int2 & int4 -> hypothesis; __DISPROVED__
事実1: あの香木は体する
事実2: 「あのプロフィールページは分化過程でないけどそれは色調整だ」ということは間違いだ
事実3: あの香木は高鳴る
事実4: この発起設立が体するけれどキナーゼであるということはないとしたらあの香木は若々しい
事実5: あのサブトラクションは高鳴る
事実6: もしこの発起設立が体するということはないしその上キナーゼであるということはないとするとあの香木は若々しい
事実7: この宅地並み課税は催告する
事実8: この発起設立はオンしないけどそれは秘境だ
事実9: あのプロフィールページは皮肉っぽくない
事実10: その足長は催告する
事実11: この発起設立は皮肉っぽいということはない
事実12: もしもあのプロフィールページが皮肉っぽいということはないとしたらこの発起設立は体しない
事実13: もし仮にとある物が高鳴るということはないとしたらそれはキナーゼでないしさらに租・庸・調だということはない
事実14: 仮にあるものが体しないとするとそれは若々しくてかつ有り余る
事実15: もしもこの発起設立がキナーゼでしかも催告するとすると高鳴るということはない
事実16: もし「あの香木は高鳴るしその上催告する」ということは真実だとすると有り余らない
事実17: もし仮にこの発起設立は有り余るしかつ催告すれば「あの香木は高鳴らない」ということは事実である
事実18: 仮に何かは皮肉っぽくないとしたらそれは体するということはない
事実19: この発起設立は体しない
事実20: もしもあのプロフィールページが皮肉っぽくないならばあの発起設立は体しなくてその上キナーゼでない
事実21: あの香木は催告する

仮説: 「「あの香木は有り余らないけど若々しい」ということは成り立たない」ということは真実だ
1. 事実3と事実21から、推論1: "あの香木は高鳴るし加えて催告する"が導かれる
2. 推論1と事実16から、推論2: "あの香木は有り余らない"が導かれる
3. 事実20と事実9から、推論3: "この発起設立は体しないしそれにキナーゼでない"が導かれる
4. 事実6と推論3から、推論4: "あの香木は若々しい"が導かれる
5. 推論2と推論4から、仮説が否定される

よって、仮説が否定されました。