「「潔い」物はある」ということは間違いである
fact1: とある物は親しないがしかし御挨拶申し上げる fact2: もし仮に親しないものが御挨拶申し上げるとするとこのエンパワーメントは感じ易い fact3: 仮にこのエンパワーメントが古里自然塾であるならばあの即効は感じ易い fact4: もし仮になんらかの物が古里自然塾だとしたら潔い fact5: もし仮にこのエンパワーメントが感じ易いならばあの即効は古里自然塾である
fact1 & fact2 -> int1: このエンパワーメントは感じ易い; int1 & fact5 -> int2: あの即効は古里自然塾だ; fact4 -> int3: 仮にあの即効が古里自然塾ならばそれは潔い; int2 & int3 -> int4: あの即効は潔い; int4 -> hypothesis;
$facts$ = fact1: とある物は親しないがしかし御挨拶申し上げる fact2: もし仮に親しないものが御挨拶申し上げるとするとこのエンパワーメントは感じ易い fact3: 仮にこのエンパワーメントが古里自然塾であるならばあの即効は感じ易い fact4: もし仮になんらかの物が古里自然塾だとしたら潔い fact5: もし仮にこのエンパワーメントが感じ易いならばあの即効は古里自然塾である ; $hypothesis$ = 「「潔い」物はある」ということは間違いである ; $proof$ = 
fact1 & fact2 -> int1: このエンパワーメントは感じ易い; int1 & fact5 -> int2: あの即効は古里自然塾だ; fact4 -> int3: 仮にあの即効が古里自然塾ならばそれは潔い; int2 & int3 -> int4: あの即効は潔い; int4 -> hypothesis; __DISPROVED__
事実1: とある物は親しないがしかし御挨拶申し上げる
事実2: もし仮に親しないものが御挨拶申し上げるとするとこのエンパワーメントは感じ易い
事実3: 仮にこのエンパワーメントが古里自然塾であるならばあの即効は感じ易い
事実4: もし仮になんらかの物が古里自然塾だとしたら潔い
事実5: もし仮にこのエンパワーメントが感じ易いならばあの即効は古里自然塾である

仮説: 「「潔い」物はある」ということは間違いである
1. 事実1と事実2から、推論1: "このエンパワーメントは感じ易い"が導かれる
2. 推論1と事実5から、推論2: "あの即効は古里自然塾だ"が導かれる
3. 事実4から、推論3: "仮にあの即効が古里自然塾ならばそれは潔い"が導かれる
4. 推論2と推論3から、推論4: "あの即効は潔い"が導かれる
5. 推論4から、仮説が否定される

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