その石榴口は痒いということはなくて落ち易くない
fact1: もしも「何らかの物は身動きする」ということは確かであるとすると「それは痒くなくてそれに落ち易くない」ということは事実と異なる fact2: マクロ構造は悪賢いということはない fact3: その石榴口は悪賢いがしかしぬらぬらするということはない fact4: もしこの御櫃がぬらぬらしないかもしくは身動きするかあるいはどちらもであるとすればこの社会基盤は身動きしない fact5: もし「この糾弾闘争は休まる」ということは正しいとしたらマクロ構造だしそれは凍らない fact6: この社会基盤が身動きしないとするとその石榴口は痒いということはないしかつ落ち易くない fact7: もしその石榴口は悪賢いけれどぬらぬらしないとすればそれは身動きする
fact1 -> int1: その石榴口は身動きするとすると「それは痒くなくてその上落ち易いない」ということは事実と異なる; fact7 & fact3 -> int2: その石榴口は身動きする; int1 & int2 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); fact7 & fact3 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
その石榴口は痒くなくてまた落ち易くない
fact9 -> int3: もしもこの糾弾闘争がマクロ構造だとするとそれは悪賢いということはない;
$facts$ = fact1: もしも「何らかの物は身動きする」ということは確かであるとすると「それは痒くなくてそれに落ち易くない」ということは事実と異なる fact2: マクロ構造は悪賢いということはない fact3: その石榴口は悪賢いがしかしぬらぬらするということはない fact4: もしこの御櫃がぬらぬらしないかもしくは身動きするかあるいはどちらもであるとすればこの社会基盤は身動きしない fact5: もし「この糾弾闘争は休まる」ということは正しいとしたらマクロ構造だしそれは凍らない fact6: この社会基盤が身動きしないとするとその石榴口は痒いということはないしかつ落ち易くない fact7: もしその石榴口は悪賢いけれどぬらぬらしないとすればそれは身動きする ; $hypothesis$ = その石榴口は痒いということはなくて落ち易くない ; $proof$ = 
fact1 -> int1: その石榴口は身動きするとすると「それは痒くなくてその上落ち易いない」ということは事実と異なる; fact7 & fact3 -> int2: その石榴口は身動きする; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「何らかの物は身動きする」ということは確かであるとすると「それは痒くなくてそれに落ち易くない」ということは事実と異なる
事実2: マクロ構造は悪賢いということはない
事実3: その石榴口は悪賢いがしかしぬらぬらするということはない
事実4: もしこの御櫃がぬらぬらしないかもしくは身動きするかあるいはどちらもであるとすればこの社会基盤は身動きしない
事実5: もし「この糾弾闘争は休まる」ということは正しいとしたらマクロ構造だしそれは凍らない
事実6: この社会基盤が身動きしないとするとその石榴口は痒いということはないしかつ落ち易くない
事実7: もしその石榴口は悪賢いけれどぬらぬらしないとすればそれは身動きする

仮説: その石榴口は痒いということはなくて落ち易くない
1. 事実1から、推論1: "その石榴口は身動きするとすると「それは痒くなくてその上落ち易いない」ということは事実と異なる"が導かれる
2. 事実7と事実3から、推論2: "その石榴口は身動きする"が導かれる
3. 推論1と推論2から、仮説が否定される

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