「この流出入りは腕立てであるかまたはバルサミコ酢でないか両方ともだ」ということは本当でない
fact1: 仮にこの原版が使い為さるとすればこの流出入りは使い為さる fact2: その上下運動は使い為さる fact3: もし仮に「なんらかのものは使い為さる」ということは本当だとすると「それは腕立てであるかあるいはバルサミコ酢でない」ということは成り立たない fact4: この原版は使い為さる
fact3 -> int1: 「この流出入りは使い為さる」ということは成り立てば「腕立てであるかもしくはバルサミコ酢でない」ということは成り立たない; fact4 & fact1 -> int2: 「この流出入りは使い為さる」ということは正しい; int1 & int2 -> hypothesis;
fact3 -> int1: {A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); fact4 & fact1 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にこの原版が使い為さるとすればこの流出入りは使い為さる fact2: その上下運動は使い為さる fact3: もし仮に「なんらかのものは使い為さる」ということは本当だとすると「それは腕立てであるかあるいはバルサミコ酢でない」ということは成り立たない fact4: この原版は使い為さる ; $hypothesis$ = 「この流出入りは腕立てであるかまたはバルサミコ酢でないか両方ともだ」ということは本当でない ; $proof$ = 
fact3 -> int1: 「この流出入りは使い為さる」ということは成り立てば「腕立てであるかもしくはバルサミコ酢でない」ということは成り立たない; fact4 & fact1 -> int2: 「この流出入りは使い為さる」ということは正しい; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこの原版が使い為さるとすればこの流出入りは使い為さる
事実2: その上下運動は使い為さる
事実3: もし仮に「なんらかのものは使い為さる」ということは本当だとすると「それは腕立てであるかあるいはバルサミコ酢でない」ということは成り立たない
事実4: この原版は使い為さる

仮説: 「この流出入りは腕立てであるかまたはバルサミコ酢でないか両方ともだ」ということは本当でない
1. 事実3から、推論1: "「この流出入りは使い為さる」ということは成り立てば「腕立てであるかもしくはバルサミコ酢でない」ということは成り立たない"が導かれる
2. 事実4と事実1から、推論2: "「この流出入りは使い為さる」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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