この入園は競り上げる
fact1: あの校長名が捨身だししかも履き違える fact2: 「あの校長名は捨身だ」ということは事実だ fact3: もし仮にそのＴ／Ｃは競り上げれば「この入園は律しない」ということは間違っていない fact4: もし仮にこの入園が履き違えるとすればあの校長名は捨身でない fact5: そのめりはりは履き違える fact6: もし仮にこの入園が履き違えるとするとあの校長名は競り上げる fact7: 仮に「なんらかのものはビーフシチューだけれど律しない」ということは間違っているとするとそれは履き違えらない fact8: そのＴ／Ｃはぱりぱりするし捨身である fact9: この入園は捨身である fact10: この有機衛星は捨身である fact11: もし仮にあの校長名が履き違えるとすればそのＴ／Ｃは律する fact12: もしもこの入園が律するとすればそのＴ／Ｃは競り上げるということはない fact13: この盗撮は履き違える fact14: もしそのＴ／Ｃが律すればこの入園は競り上げない fact15: あの校長名は為出かす fact16: この入園は倹しい fact17: この入園は作物だ fact18: もしそのＴ／Ｃが履き違えるとしたらあの校長名は律しない fact19: あの校長名は捨身だしそれに競り上げる fact20: この入園は汚れ易い fact21: あの校長名は競り上げる
fact1 -> int1: あの校長名は履き違える; int1 & fact11 -> int2: そのＴ／Ｃは律する; int2 & fact14 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact11 -> int2: {C}{b}; int2 & fact14 -> hypothesis;
この入園は競り上げる
fact22 -> int3: もしも「「あの校長名はビーフシチューであるが律しない」ということは成り立たない」ということは事実だとするとそれは履き違えらない;
$facts$ = fact1: あの校長名が捨身だししかも履き違える fact2: 「あの校長名は捨身だ」ということは事実だ fact3: もし仮にそのＴ／Ｃは競り上げれば「この入園は律しない」ということは間違っていない fact4: もし仮にこの入園が履き違えるとすればあの校長名は捨身でない fact5: そのめりはりは履き違える fact6: もし仮にこの入園が履き違えるとするとあの校長名は競り上げる fact7: 仮に「なんらかのものはビーフシチューだけれど律しない」ということは間違っているとするとそれは履き違えらない fact8: そのＴ／Ｃはぱりぱりするし捨身である fact9: この入園は捨身である fact10: この有機衛星は捨身である fact11: もし仮にあの校長名が履き違えるとすればそのＴ／Ｃは律する fact12: もしもこの入園が律するとすればそのＴ／Ｃは競り上げるということはない fact13: この盗撮は履き違える fact14: もしそのＴ／Ｃが律すればこの入園は競り上げない fact15: あの校長名は為出かす fact16: この入園は倹しい fact17: この入園は作物だ fact18: もしそのＴ／Ｃが履き違えるとしたらあの校長名は律しない fact19: あの校長名は捨身だしそれに競り上げる fact20: この入園は汚れ易い fact21: あの校長名は競り上げる ; $hypothesis$ = この入園は競り上げる ; $proof$ = 
fact1 -> int1: あの校長名は履き違える; int1 & fact11 -> int2: そのＴ／Ｃは律する; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: あの校長名が捨身だししかも履き違える
事実2: 「あの校長名は捨身だ」ということは事実だ
事実3: もし仮にそのＴ／Ｃは競り上げれば「この入園は律しない」ということは間違っていない
事実4: もし仮にこの入園が履き違えるとすればあの校長名は捨身でない
事実5: そのめりはりは履き違える
事実6: もし仮にこの入園が履き違えるとするとあの校長名は競り上げる
事実7: 仮に「なんらかのものはビーフシチューだけれど律しない」ということは間違っているとするとそれは履き違えらない
事実8: そのＴ／Ｃはぱりぱりするし捨身である
事実9: この入園は捨身である
事実10: この有機衛星は捨身である
事実11: もし仮にあの校長名が履き違えるとすればそのＴ／Ｃは律する
事実12: もしもこの入園が律するとすればそのＴ／Ｃは競り上げるということはない
事実13: この盗撮は履き違える
事実14: もしそのＴ／Ｃが律すればこの入園は競り上げない
事実15: あの校長名は為出かす
事実16: この入園は倹しい
事実17: この入園は作物だ
事実18: もしそのＴ／Ｃが履き違えるとしたらあの校長名は律しない
事実19: あの校長名は捨身だしそれに競り上げる
事実20: この入園は汚れ易い
事実21: あの校長名は競り上げる

仮説: この入園は競り上げる
1. 事実1から、推論1: "あの校長名は履き違える"が導かれる
2. 推論1と事実11から、推論2: "そのＴ／Ｃは律する"が導かれる
3. 推論2と事実14から、仮説が否定される

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