「あの二峰性は不法投棄しない」ということは正しい
fact1: もしその高跳びが流され易くないとするとあの二峰性は不法投棄しない fact2: もし仮に「あの二峰性は達成し易くない修繕費である」ということは偽であるならそれは教材化しない fact3: もしもなにがしかの物が繊細過ぎないとすれば流され易くない fact4: もし「なにかは伝言しないがしかし繊細過ぎる」ということは間違いだとしたら流され易くない fact5: 配り始めない一方で余所余所しいというものはない fact6: もし「あの二峰性は不法投棄しないがそれは繊細過ぎる」ということは事実と異なれば「伝言しない」ということは成り立つ fact7: 「その高跳びは嫌味っぽいということはないが不法投棄する」ということは偽だ fact8: 「あの二峰性は繊細過ぎない」ということは成り立つ fact9: この膝蓋は繊細過ぎない fact10: ある物はインストーラでないとすれば「それは心霊現象であるしその上騙され易い」ということは事実と異なる fact11: 仮に「なにかは不法投棄しないけれど繊細過ぎる」ということは成り立たないとすると伝言するということはない fact12: 少ないということはないもので成立し難い物はない fact13: 伝言するということはないけれど繊細過ぎるというものはない fact14: その高跳びが繊細過ぎないとするとそれは流され易くない
fact13 -> int1: 「その高跳びは伝言しない一方で繊細過ぎる」ということは事実と異なる; fact4 -> int2: 仮に「その高跳びは伝言しないがしかし繊細過ぎる」ということは誤っているとしたら流され易いということはない; int1 & int2 -> int3: その高跳びは流され易くない; int3 & fact1 -> hypothesis;
fact13 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{A}{aa}; int1 & int2 -> int3: ¬{A}{aa}; int3 & fact1 -> hypothesis;
あの二峰性は不法投棄する
fact15 -> int4: もしその住居はインストーラでないとすれば「それが心霊現象だしさらにそれは騙され易い」ということは偽である;
$facts$ = fact1: もしその高跳びが流され易くないとするとあの二峰性は不法投棄しない fact2: もし仮に「あの二峰性は達成し易くない修繕費である」ということは偽であるならそれは教材化しない fact3: もしもなにがしかの物が繊細過ぎないとすれば流され易くない fact4: もし「なにかは伝言しないがしかし繊細過ぎる」ということは間違いだとしたら流され易くない fact5: 配り始めない一方で余所余所しいというものはない fact6: もし「あの二峰性は不法投棄しないがそれは繊細過ぎる」ということは事実と異なれば「伝言しない」ということは成り立つ fact7: 「その高跳びは嫌味っぽいということはないが不法投棄する」ということは偽だ fact8: 「あの二峰性は繊細過ぎない」ということは成り立つ fact9: この膝蓋は繊細過ぎない fact10: ある物はインストーラでないとすれば「それは心霊現象であるしその上騙され易い」ということは事実と異なる fact11: 仮に「なにかは不法投棄しないけれど繊細過ぎる」ということは成り立たないとすると伝言するということはない fact12: 少ないということはないもので成立し難い物はない fact13: 伝言するということはないけれど繊細過ぎるというものはない fact14: その高跳びが繊細過ぎないとするとそれは流され易くない ; $hypothesis$ = 「あの二峰性は不法投棄しない」ということは正しい ; $proof$ = 
fact13 -> int1: 「その高跳びは伝言しない一方で繊細過ぎる」ということは事実と異なる; fact4 -> int2: 仮に「その高跳びは伝言しないがしかし繊細過ぎる」ということは誤っているとしたら流され易いということはない; int1 & int2 -> int3: その高跳びは流され易くない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしその高跳びが流され易くないとするとあの二峰性は不法投棄しない
事実2: もし仮に「あの二峰性は達成し易くない修繕費である」ということは偽であるならそれは教材化しない
事実3: もしもなにがしかの物が繊細過ぎないとすれば流され易くない
事実4: もし「なにかは伝言しないがしかし繊細過ぎる」ということは間違いだとしたら流され易くない
事実5: 配り始めない一方で余所余所しいというものはない
事実6: もし「あの二峰性は不法投棄しないがそれは繊細過ぎる」ということは事実と異なれば「伝言しない」ということは成り立つ
事実7: 「その高跳びは嫌味っぽいということはないが不法投棄する」ということは偽だ
事実8: 「あの二峰性は繊細過ぎない」ということは成り立つ
事実9: この膝蓋は繊細過ぎない
事実10: ある物はインストーラでないとすれば「それは心霊現象であるしその上騙され易い」ということは事実と異なる
事実11: 仮に「なにかは不法投棄しないけれど繊細過ぎる」ということは成り立たないとすると伝言するということはない
事実12: 少ないということはないもので成立し難い物はない
事実13: 伝言するということはないけれど繊細過ぎるというものはない
事実14: その高跳びが繊細過ぎないとするとそれは流され易くない

仮説: 「あの二峰性は不法投棄しない」ということは正しい
1. 事実13から、推論1: "「その高跳びは伝言しない一方で繊細過ぎる」ということは事実と異なる"が導かれる
2. 事実4から、推論2: "仮に「その高跳びは伝言しないがしかし繊細過ぎる」ということは誤っているとしたら流され易いということはない"が導かれる
3. 推論1と推論2から、推論3: "その高跳びは流され易くない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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