この環境倫理学は欠場する
fact1: もしもなにがしかのものが大規模校でなくてその上九州方面でないとするとそれは欠場する fact2: あの難治性は汚らしくない fact3: もしあの難治性が跳ね上げるということはないとすればそれは汚らしくてそれは付け易い fact4: もし仮にあの難治性が汚らしくないとするとこの環境倫理学は大規模校でない fact5: 汚らしいものが欠場しないとするとそれは大規模校だ fact6: もし「何かは欠場するがしかし汚らしくない」ということは嘘だとすると欠場しない fact7: もし仮にあの難治性が汚らしくないとすればこの環境倫理学は大規模校であるということはないし九州方面でない
fact7 & fact2 -> int1: この環境倫理学は大規模校でないしそれは九州方面でない; fact1 -> int2: もしこの環境倫理学が大規模校でないしその上九州方面でないならば欠場する; int1 & int2 -> hypothesis;
fact7 & fact2 -> int1: (¬{AA}{b} & ¬{AB}{b}); fact1 -> int2: (¬{AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
この環境倫理学は欠場しない
fact8 -> int3: 仮に「この環境倫理学は欠場するが汚らしくない」ということは事実と異なるなら欠場しない;
$facts$ = fact1: もしもなにがしかのものが大規模校でなくてその上九州方面でないとするとそれは欠場する fact2: あの難治性は汚らしくない fact3: もしあの難治性が跳ね上げるということはないとすればそれは汚らしくてそれは付け易い fact4: もし仮にあの難治性が汚らしくないとするとこの環境倫理学は大規模校でない fact5: 汚らしいものが欠場しないとするとそれは大規模校だ fact6: もし「何かは欠場するがしかし汚らしくない」ということは嘘だとすると欠場しない fact7: もし仮にあの難治性が汚らしくないとすればこの環境倫理学は大規模校であるということはないし九州方面でない ; $hypothesis$ = この環境倫理学は欠場する ; $proof$ = 
fact7 & fact2 -> int1: この環境倫理学は大規模校でないしそれは九州方面でない; fact1 -> int2: もしこの環境倫理学が大規模校でないしその上九州方面でないならば欠場する; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもなにがしかのものが大規模校でなくてその上九州方面でないとするとそれは欠場する
事実2: あの難治性は汚らしくない
事実3: もしあの難治性が跳ね上げるということはないとすればそれは汚らしくてそれは付け易い
事実4: もし仮にあの難治性が汚らしくないとするとこの環境倫理学は大規模校でない
事実5: 汚らしいものが欠場しないとするとそれは大規模校だ
事実6: もし「何かは欠場するがしかし汚らしくない」ということは嘘だとすると欠場しない
事実7: もし仮にあの難治性が汚らしくないとすればこの環境倫理学は大規模校であるということはないし九州方面でない

仮説: この環境倫理学は欠場する
1. 事実7と事実2から、推論1: "この環境倫理学は大規模校でないしそれは九州方面でない"が導かれる
2. 事実1から、推論2: "もしこの環境倫理学が大規模校でないしその上九州方面でないならば欠場する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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