その方形窓は泥臭い
fact1: 「あの私服は心地良くないけど佩く」ということは間違っているとしたらその方形窓は泥臭いということはない fact2: その福岡市郊外は影響され易くない fact3: もしもその福岡市郊外は影響され易くないとすると「あの私服は心地良くないがしかし佩く」ということは嘘だ
fact3 & fact2 -> int1: 「あの私服は心地良くない一方で佩く」ということは成り立たない; int1 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「あの私服は心地良くないけど佩く」ということは間違っているとしたらその方形窓は泥臭いということはない fact2: その福岡市郊外は影響され易くない fact3: もしもその福岡市郊外は影響され易くないとすると「あの私服は心地良くないがしかし佩く」ということは嘘だ ; $hypothesis$ = その方形窓は泥臭い ; $proof$ = 
fact3 & fact2 -> int1: 「あの私服は心地良くない一方で佩く」ということは成り立たない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「あの私服は心地良くないけど佩く」ということは間違っているとしたらその方形窓は泥臭いということはない
事実2: その福岡市郊外は影響され易くない
事実3: もしもその福岡市郊外は影響され易くないとすると「あの私服は心地良くないがしかし佩く」ということは嘘だ

仮説: その方形窓は泥臭い
1. 事実3と事実2から、推論1: "「あの私服は心地良くない一方で佩く」ということは成り立たない"が導かれる
2. 推論1と事実1から、仮説が否定される

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