その外務は青っぽい
fact1: その性的自由は焦げ臭い fact2: 理解し辛いものがあるとすればその外務は青っぽくない fact3: ある物は戦わさないなら「それは焦げ臭くて理解し辛い」ということは誤りだ fact4: もし焦げ臭いかまたは理解し辛いかあるいは両方なものがあるならその外務は青っぽいということはない fact5: 「あるものは理解し辛い」ということは成り立つとするとその性的自由は青っぽいかもしくは危うい fact6: なにがしかのものが戦わすとしたら理解し辛い
fact1 -> int1: その性的自由は焦げ臭いかあるいは理解し辛い; int1 -> int2: なにがしかのものは焦げ臭いかもしくは理解し辛いかあるいは両方だ; int2 & fact4 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact4 -> hypothesis;
その住所は焦げ臭いかまたは危うい
fact7 -> int3: 「その外務は戦わす」ということは正しいならそれは理解し辛い;
$facts$ = fact1: その性的自由は焦げ臭い fact2: 理解し辛いものがあるとすればその外務は青っぽくない fact3: ある物は戦わさないなら「それは焦げ臭くて理解し辛い」ということは誤りだ fact4: もし焦げ臭いかまたは理解し辛いかあるいは両方なものがあるならその外務は青っぽいということはない fact5: 「あるものは理解し辛い」ということは成り立つとするとその性的自由は青っぽいかもしくは危うい fact6: なにがしかのものが戦わすとしたら理解し辛い ; $hypothesis$ = その外務は青っぽい ; $proof$ = 
fact1 -> int1: その性的自由は焦げ臭いかあるいは理解し辛い; int1 -> int2: なにがしかのものは焦げ臭いかもしくは理解し辛いかあるいは両方だ; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: その性的自由は焦げ臭い
事実2: 理解し辛いものがあるとすればその外務は青っぽくない
事実3: ある物は戦わさないなら「それは焦げ臭くて理解し辛い」ということは誤りだ
事実4: もし焦げ臭いかまたは理解し辛いかあるいは両方なものがあるならその外務は青っぽいということはない
事実5: 「あるものは理解し辛い」ということは成り立つとするとその性的自由は青っぽいかもしくは危うい
事実6: なにがしかのものが戦わすとしたら理解し辛い

仮説: その外務は青っぽい
1. 事実1から、推論1: "その性的自由は焦げ臭いかあるいは理解し辛い"が導かれる
2. 推論1から、推論2: "なにがしかのものは焦げ臭いかもしくは理解し辛いかあるいは両方だ"が導かれる
3. 推論2と事実4から、仮説が否定される

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