この仮差し押さえ命令申し立て書は修理出来ない
fact1: もしもこの仮差し押さえ命令申し立て書がすりゃ良いならばそれは修理出来る fact2: 「「区別しないししかも忙し過ぎる」ということは本当でない」物はある fact3: すりゃ良くないし黴臭くないものはない fact4: もし仮に「「何かはすりゃ良くないしその上黴臭くない」ということは事実だ」ということは成り立たないならば修理出来る fact5: もしもとある物が区別するとしたらそれは自由権だ fact6: もしもあの風紀が自由権だけどそれが任官しないとするとこの仮差し押さえ命令申し立て書は修理出来ない
fact3 -> int1: 「この仮差し押さえ命令申し立て書はすりゃ良いということはなくてそれにそれは黴臭いということはない」ということは誤りである; fact4 -> int2: もし「この仮差し押さえ命令申し立て書はすりゃ良くないしその上黴臭くない」ということは成り立たないとすると「それは修理出来る」ということは本当だ; int1 & int2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); fact4 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {A}{aa}; int1 & int2 -> hypothesis;
「この仮差し押さえ命令申し立て書は修理出来るということはない」ということは間違っていない
fact7 -> int3: もし仮に「あの風紀は区別する」ということは正しいなら「それは自由権だ」ということは成り立つ;
$facts$ = fact1: もしもこの仮差し押さえ命令申し立て書がすりゃ良いならばそれは修理出来る fact2: 「「区別しないししかも忙し過ぎる」ということは本当でない」物はある fact3: すりゃ良くないし黴臭くないものはない fact4: もし仮に「「何かはすりゃ良くないしその上黴臭くない」ということは事実だ」ということは成り立たないならば修理出来る fact5: もしもとある物が区別するとしたらそれは自由権だ fact6: もしもあの風紀が自由権だけどそれが任官しないとするとこの仮差し押さえ命令申し立て書は修理出来ない ; $hypothesis$ = この仮差し押さえ命令申し立て書は修理出来ない ; $proof$ = 
fact3 -> int1: 「この仮差し押さえ命令申し立て書はすりゃ良いということはなくてそれにそれは黴臭いということはない」ということは誤りである; fact4 -> int2: もし「この仮差し押さえ命令申し立て書はすりゃ良くないしその上黴臭くない」ということは成り立たないとすると「それは修理出来る」ということは本当だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもこの仮差し押さえ命令申し立て書がすりゃ良いならばそれは修理出来る
事実2: 「「区別しないししかも忙し過ぎる」ということは本当でない」物はある
事実3: すりゃ良くないし黴臭くないものはない
事実4: もし仮に「「何かはすりゃ良くないしその上黴臭くない」ということは事実だ」ということは成り立たないならば修理出来る
事実5: もしもとある物が区別するとしたらそれは自由権だ
事実6: もしもあの風紀が自由権だけどそれが任官しないとするとこの仮差し押さえ命令申し立て書は修理出来ない

仮説: この仮差し押さえ命令申し立て書は修理出来ない
1. 事実3から、推論1: "「この仮差し押さえ命令申し立て書はすりゃ良いということはなくてそれにそれは黴臭いということはない」ということは誤りである"が導かれる
2. 事実4から、推論2: "もし「この仮差し押さえ命令申し立て書はすりゃ良くないしその上黴臭くない」ということは成り立たないとすると「それは修理出来る」ということは本当だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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