この五年毎は険しい
fact1: あの放射線科は乳臭いし艦爆である fact2: もし仮にあの放射線科が捩じ上げるとすればこの五年毎は険しい fact3: もし「なにかは艦爆である」ということは成り立つとするとそれは捩じ上げる fact4: 仮に何かは艦爆でないかあるいは険しかないかあるいはどちらもだとしたら険しかない
fact1 -> int1: あの放射線科は艦爆である; fact3 -> int2: 仮にあの放射線科は艦爆であるとすると捩じ上げる; int1 & int2 -> int3: あの放射線科は捩じ上げる; int3 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact2 -> hypothesis;
この五年毎は険しかない
fact5 -> int4: この五年毎が艦爆でないかあるいは険しかないかあるいは両方ともだとすれば険しかない;
$facts$ = fact1: あの放射線科は乳臭いし艦爆である fact2: もし仮にあの放射線科が捩じ上げるとすればこの五年毎は険しい fact3: もし「なにかは艦爆である」ということは成り立つとするとそれは捩じ上げる fact4: 仮に何かは艦爆でないかあるいは険しかないかあるいはどちらもだとしたら険しかない ; $hypothesis$ = この五年毎は険しい ; $proof$ = 
fact1 -> int1: あの放射線科は艦爆である; fact3 -> int2: 仮にあの放射線科は艦爆であるとすると捩じ上げる; int1 & int2 -> int3: あの放射線科は捩じ上げる; int3 & fact2 -> hypothesis; __PROVED__
事実1: あの放射線科は乳臭いし艦爆である
事実2: もし仮にあの放射線科が捩じ上げるとすればこの五年毎は険しい
事実3: もし「なにかは艦爆である」ということは成り立つとするとそれは捩じ上げる
事実4: 仮に何かは艦爆でないかあるいは険しかないかあるいはどちらもだとしたら険しかない

仮説: この五年毎は険しい
1. 事実1から、推論1: "あの放射線科は艦爆である"が導かれる
2. 事実3から、推論2: "仮にあの放射線科は艦爆であるとすると捩じ上げる"が導かれる
3. 推論1と推論2から、推論3: "あの放射線科は捩じ上げる"が導かれる
4. 推論3と事実2から、仮説が導かれる

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