この空揚げは戻し易いということはない
fact1: 「もし仮に「このユグノー教徒は戻し易くないしプロセス展開でない」ということは事実と異なるとすればこの空揚げは戻し易くない」ということは成り立つ fact2: このユグノー教徒はやくざっぽい fact3: このユグノー教徒はやくざっぽいかもしくは戻し易い fact4: もしなにがしかのものがやくざっぽいかもしくはプロセス展開であるかまたは両方ならばこの空揚げは戻し易い
fact2 -> int1: このユグノー教徒はやくざっぽいかプロセス展開だ; int1 -> int2: 「やくざっぽいかもしくはプロセス展開であるかあるいは両方な」物はある; int2 & fact4 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact4 -> hypothesis;
この空揚げは戻し易くない
$facts$ = fact1: 「もし仮に「このユグノー教徒は戻し易くないしプロセス展開でない」ということは事実と異なるとすればこの空揚げは戻し易くない」ということは成り立つ fact2: このユグノー教徒はやくざっぽい fact3: このユグノー教徒はやくざっぽいかもしくは戻し易い fact4: もしなにがしかのものがやくざっぽいかもしくはプロセス展開であるかまたは両方ならばこの空揚げは戻し易い ; $hypothesis$ = この空揚げは戻し易いということはない ; $proof$ = 
fact2 -> int1: このユグノー教徒はやくざっぽいかプロセス展開だ; int1 -> int2: 「やくざっぽいかもしくはプロセス展開であるかあるいは両方な」物はある; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「このユグノー教徒は戻し易くないしプロセス展開でない」ということは事実と異なるとすればこの空揚げは戻し易くない」ということは成り立つ
事実2: このユグノー教徒はやくざっぽい
事実3: このユグノー教徒はやくざっぽいかもしくは戻し易い
事実4: もしなにがしかのものがやくざっぽいかもしくはプロセス展開であるかまたは両方ならばこの空揚げは戻し易い

仮説: この空揚げは戻し易いということはない
1. 事実2から、推論1: "このユグノー教徒はやくざっぽいかプロセス展開だ"が導かれる
2. 推論1から、推論2: "「やくざっぽいかもしくはプロセス展開であるかあるいは両方な」物はある"が導かれる
3. 推論2と事実4から、仮説が否定される

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