その二百五十メートルメッシュ別は嬉しいということはない
fact1: なんらかのものはτＡでないし擦り洗いしない fact2: 「擦り洗いしない」ものはある fact3: その無反応が公式参拝するということはないとすればあのＳＦＡＣは嬉しくない fact4: もし「「嬉しくて加えて擦り洗いする」ということは成り立たない」ものがあるとすればその商売繁盛はτＡだ fact5: もし仮になにがしかの物が擦り洗いするとするとそれは嬉しくなくてその上τＡでない fact6: もし仮に「あのＳＦＡＣは嬉しくない」ということは確かだとするとその二百五十メートルメッシュ別は嬉しくてそれは当て付けがましい fact7: もしなにがしかの物がτＡでなくて加えて擦り洗いしないとしたらその無反応は公式参拝しない fact8: なにかはτＡでない fact9: 「τＡだ一方で擦り洗いしない」ものはある fact10: あるものが当て付けはましくらないけど嬉しい
fact1 & fact7 -> int1: その無反応は公式参拝するということはない; int1 & fact3 -> int2: あのＳＦＡＣは嬉しくない; int2 & fact6 -> int3: その二百五十メートルメッシュ別は嬉しくて当て付けがましい; int3 -> hypothesis;
その二百五十メートルメッシュ別は嬉しくない
fact11 -> int4: 仮にその二百五十メートルメッシュ別が擦り洗いするとしたらそれは嬉しくなくておまけにτＡでない;
$facts$ = fact1: なんらかのものはτＡでないし擦り洗いしない fact2: 「擦り洗いしない」ものはある fact3: その無反応が公式参拝するということはないとすればあのＳＦＡＣは嬉しくない fact4: もし「「嬉しくて加えて擦り洗いする」ということは成り立たない」ものがあるとすればその商売繁盛はτＡだ fact5: もし仮になにがしかの物が擦り洗いするとするとそれは嬉しくなくてその上τＡでない fact6: もし仮に「あのＳＦＡＣは嬉しくない」ということは確かだとするとその二百五十メートルメッシュ別は嬉しくてそれは当て付けがましい fact7: もしなにがしかの物がτＡでなくて加えて擦り洗いしないとしたらその無反応は公式参拝しない fact8: なにかはτＡでない fact9: 「τＡだ一方で擦り洗いしない」ものはある fact10: あるものが当て付けはましくらないけど嬉しい ; $hypothesis$ = その二百五十メートルメッシュ別は嬉しいということはない ; $proof$ = 
fact1 & fact7 -> int1: その無反応は公式参拝するということはない; int1 & fact3 -> int2: あのＳＦＡＣは嬉しくない; int2 & fact6 -> int3: その二百五十メートルメッシュ別は嬉しくて当て付けがましい; int3 -> hypothesis; __DISPROVED__
事実1: なんらかのものはτＡでないし擦り洗いしない
事実2: 「擦り洗いしない」ものはある
事実3: その無反応が公式参拝するということはないとすればあのＳＦＡＣは嬉しくない
事実4: もし「「嬉しくて加えて擦り洗いする」ということは成り立たない」ものがあるとすればその商売繁盛はτＡだ
事実5: もし仮になにがしかの物が擦り洗いするとするとそれは嬉しくなくてその上τＡでない
事実6: もし仮に「あのＳＦＡＣは嬉しくない」ということは確かだとするとその二百五十メートルメッシュ別は嬉しくてそれは当て付けがましい
事実7: もしなにがしかの物がτＡでなくて加えて擦り洗いしないとしたらその無反応は公式参拝しない
事実8: なにかはτＡでない
事実9: 「τＡだ一方で擦り洗いしない」ものはある
事実10: あるものが当て付けはましくらないけど嬉しい

仮説: その二百五十メートルメッシュ別は嬉しいということはない
1. 事実1と事実7から、推論1: "その無反応は公式参拝するということはない"が導かれる
2. 推論1と事実3から、推論2: "あのＳＦＡＣは嬉しくない"が導かれる
3. 推論2と事実6から、推論3: "その二百五十メートルメッシュ別は嬉しくて当て付けがましい"が導かれる
4. 推論3から、仮説が否定される

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