あの脳髄は行動修正でない
fact1: 仮に「あの脳髄は行動修正でないかまたはそれは可愛くない」ということは本当であるとするとそれはすげ替える fact2: とある物はすげ替えるということはないかあるいはそれはつべたくないかまたは両方ともだとするとそれは行動修正だ fact3: 「あの積乱雲は可愛い」ということは成り立つとするとあの脳髄はすげ替えないかあるいはつべたくないかもしくは両方である fact4: あの積乱雲は可愛い fact5: あの脳髄はアニメーションＧＩＦである fact6: あの積乱雲は可愛いということはないかつべたいかあるいは両方ともである fact7: 可愛くないものは行動修正でない
fact3 & fact4 -> int1: あの脳髄はすげ替えるということはないかもしくはそれはつべたくないかまたは両方ともだ; fact2 -> int2: もし仮にあの脳髄はすげ替えないかあるいはそれはつべたくないとしたらそれは行動修正である; int1 & int2 -> hypothesis;
fact3 & fact4 -> int1: (¬{AA}{b} v ¬{AB}{b}); fact2 -> int2: (¬{AA}{b} v ¬{AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
あの脳髄は行動修正でない
fact8 -> int3: 仮にあの脳髄は可愛くないとすればそれは行動修正であるということはない;
$facts$ = fact1: 仮に「あの脳髄は行動修正でないかまたはそれは可愛くない」ということは本当であるとするとそれはすげ替える fact2: とある物はすげ替えるということはないかあるいはそれはつべたくないかまたは両方ともだとするとそれは行動修正だ fact3: 「あの積乱雲は可愛い」ということは成り立つとするとあの脳髄はすげ替えないかあるいはつべたくないかもしくは両方である fact4: あの積乱雲は可愛い fact5: あの脳髄はアニメーションＧＩＦである fact6: あの積乱雲は可愛いということはないかつべたいかあるいは両方ともである fact7: 可愛くないものは行動修正でない ; $hypothesis$ = あの脳髄は行動修正でない ; $proof$ = 
fact3 & fact4 -> int1: あの脳髄はすげ替えるということはないかもしくはそれはつべたくないかまたは両方ともだ; fact2 -> int2: もし仮にあの脳髄はすげ替えないかあるいはそれはつべたくないとしたらそれは行動修正である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「あの脳髄は行動修正でないかまたはそれは可愛くない」ということは本当であるとするとそれはすげ替える
事実2: とある物はすげ替えるということはないかあるいはそれはつべたくないかまたは両方ともだとするとそれは行動修正だ
事実3: 「あの積乱雲は可愛い」ということは成り立つとするとあの脳髄はすげ替えないかあるいはつべたくないかもしくは両方である
事実4: あの積乱雲は可愛い
事実5: あの脳髄はアニメーションＧＩＦである
事実6: あの積乱雲は可愛いということはないかつべたいかあるいは両方ともである
事実7: 可愛くないものは行動修正でない

仮説: あの脳髄は行動修正でない
1. 事実3と事実4から、推論1: "あの脳髄はすげ替えるということはないかもしくはそれはつべたくないかまたは両方ともだ"が導かれる
2. 事実2から、推論2: "もし仮にあの脳髄はすげ替えないかあるいはそれはつべたくないとしたらそれは行動修正である"が導かれる
3. 推論1と推論2から、仮説が否定される

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