「あの蒸しは舞い上げるかあるいは見境無くないかまたはどちらもだ」ということは成り立たない
fact1: 「あの経済協力は任意同行するがしかしそれは御固くない」ということは偽だ fact2: 「あの蒸しは平ったいししかも腹黒い」ということは誤りである fact3: あの経済協力が御固いとしたらそれは見境無くない fact4: 「その資産欄は任意同行するかもしくはそれは左胸でないかまたは両方ともだ」ということは事実と異なる fact5: もし仮に「あの経済協力は任意同行するけれど御固くない」ということは誤りだとするとそれは見境無くない fact6: もし仮にあの経済協力が切ないならばあの蒸しは舞い上げるかまたはそれは見境無くないかまたは両方ともだ fact7: もし仮にあの経済協力は見境無くないならば「「あの蒸しは舞い上げるかあるいはそれは見境無くない」ということは間違っている」ということは成り立つ
fact5 & fact1 -> int1: あの経済協力は見境無くない; int1 & fact7 -> hypothesis;
fact5 & fact1 -> int1: ¬{B}{a}; int1 & fact7 -> hypothesis;
あの蒸しは舞い上げるかまたは見境無くないかあるいは両方ともである
$facts$ = fact1: 「あの経済協力は任意同行するがしかしそれは御固くない」ということは偽だ fact2: 「あの蒸しは平ったいししかも腹黒い」ということは誤りである fact3: あの経済協力が御固いとしたらそれは見境無くない fact4: 「その資産欄は任意同行するかもしくはそれは左胸でないかまたは両方ともだ」ということは事実と異なる fact5: もし仮に「あの経済協力は任意同行するけれど御固くない」ということは誤りだとするとそれは見境無くない fact6: もし仮にあの経済協力が切ないならばあの蒸しは舞い上げるかまたはそれは見境無くないかまたは両方ともだ fact7: もし仮にあの経済協力は見境無くないならば「「あの蒸しは舞い上げるかあるいはそれは見境無くない」ということは間違っている」ということは成り立つ ; $hypothesis$ = 「あの蒸しは舞い上げるかあるいは見境無くないかまたはどちらもだ」ということは成り立たない ; $proof$ = 
fact5 & fact1 -> int1: あの経済協力は見境無くない; int1 & fact7 -> hypothesis; __PROVED__
事実1: 「あの経済協力は任意同行するがしかしそれは御固くない」ということは偽だ
事実2: 「あの蒸しは平ったいししかも腹黒い」ということは誤りである
事実3: あの経済協力が御固いとしたらそれは見境無くない
事実4: 「その資産欄は任意同行するかもしくはそれは左胸でないかまたは両方ともだ」ということは事実と異なる
事実5: もし仮に「あの経済協力は任意同行するけれど御固くない」ということは誤りだとするとそれは見境無くない
事実6: もし仮にあの経済協力が切ないならばあの蒸しは舞い上げるかまたはそれは見境無くないかまたは両方ともだ
事実7: もし仮にあの経済協力は見境無くないならば「「あの蒸しは舞い上げるかあるいはそれは見境無くない」ということは間違っている」ということは成り立つ

仮説: 「あの蒸しは舞い上げるかあるいは見境無くないかまたはどちらもだ」ということは成り立たない
1. 事実5と事実1から、推論1: "あの経済協力は見境無くない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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