あの照射野は無理無くない
fact1: 「仮にあの照射野がクラス編成だとするとあの照射野は無理無い」ということは成り立つ fact2: 仮に「なにかは揺動であるけど彼らしくない」ということは事実と異なるとすればそれは無理無くない fact3: 「若しない」ものがあるならあの照射野はクラス編成だ fact4: 「若しということはない」ものはある fact5: 何かは酒臭いなら「それは揺動だが彼らしくない」ということは嘘だ fact6: 仮にあの照射野は無理無くないなら「この色名はクラス編成でなくてかつそれは若しない」ということは成り立たない
fact4 & fact3 -> int1: あの照射野はクラス編成だ; int1 & fact1 -> hypothesis;
この色名はクラス編成だ
fact7 -> int2: 仮に「あの照射野は揺動であるが彼らしいということはない」ということは嘘であるとしたらそれは無理無いということはない; fact9 -> int3: あの照射野は酒臭いならば「それが揺動だしさらに彼らしくない」ということは偽だ;
$facts$ = fact1: 「仮にあの照射野がクラス編成だとするとあの照射野は無理無い」ということは成り立つ fact2: 仮に「なにかは揺動であるけど彼らしくない」ということは事実と異なるとすればそれは無理無くない fact3: 「若しない」ものがあるならあの照射野はクラス編成だ fact4: 「若しということはない」ものはある fact5: 何かは酒臭いなら「それは揺動だが彼らしくない」ということは嘘だ fact6: 仮にあの照射野は無理無くないなら「この色名はクラス編成でなくてかつそれは若しない」ということは成り立たない ; $hypothesis$ = あの照射野は無理無くない ; $proof$ = 
fact4 & fact3 -> int1: あの照射野はクラス編成だ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「仮にあの照射野がクラス編成だとするとあの照射野は無理無い」ということは成り立つ
事実2: 仮に「なにかは揺動であるけど彼らしくない」ということは事実と異なるとすればそれは無理無くない
事実3: 「若しない」ものがあるならあの照射野はクラス編成だ
事実4: 「若しということはない」ものはある
事実5: 何かは酒臭いなら「それは揺動だが彼らしくない」ということは嘘だ
事実6: 仮にあの照射野は無理無くないなら「この色名はクラス編成でなくてかつそれは若しない」ということは成り立たない

仮説: あの照射野は無理無くない
1. 事実4と事実3から、推論1: "あの照射野はクラス編成だ"が導かれる
2. 推論1と事実1から、仮説が否定される

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