「あの盲目的は高齢アルコール依存症であるけどそれは抜き取れない」ということは間違いだ
fact1: 仮にあの国立市公民館が洗車するならあの盲目的は縫う fact2: 何らかのものが遮らないとしたらそれは高齢アルコール依存症でそれは抜き取れない fact3: とあるものが番うならば造営しなくてその上歯軋りしない fact4: もしもなんらかの物が縫うとすると遮らない fact5: その両刀が番うしその上餓鬼っぽい fact6: 仮にその両刀が歯軋りしないとすればあの国立市公民館は歯軋りするししかもそれは洗車する fact7: 仮になにがしかの物は番うとしたら「「それは高齢アルコール依存症であるが抜き取れるということはない」ということは偽でない」ということは嘘だ
fact5 -> int1: 「その両刀は番う」ということは本当である; fact3 -> int2: もし仮にその両刀が番うとするとそれは造営しなくて更に歯軋りしない; int1 & int2 -> int3: その両刀は造営しないしそれは歯軋りしない; int3 -> int4: その両刀は歯軋りしない; int4 & fact6 -> int5: あの国立市公民館は歯軋りするしかつ洗車する; int5 -> int6: あの国立市公民館は洗車する; int6 & fact1 -> int7: あの盲目的は縫う; fact4 -> int8: もしあの盲目的は縫えば「それは遮らない」ということは真実だ; int7 & int8 -> int9: あの盲目的は遮らない; fact2 -> int10: もしもあの盲目的が遮らないとするとそれは高齢アルコール依存症だ一方で抜き取れない; int9 & int10 -> hypothesis;
「あの盲目的は高齢アルコール依存症であるけれど抜き取れない」ということは成り立たない
fact8 -> int11: もしもあの盲目的は番うとすると「高齢アルコール依存症であるし抜き取れない」ということは間違いである;
$facts$ = fact1: 仮にあの国立市公民館が洗車するならあの盲目的は縫う fact2: 何らかのものが遮らないとしたらそれは高齢アルコール依存症でそれは抜き取れない fact3: とあるものが番うならば造営しなくてその上歯軋りしない fact4: もしもなんらかの物が縫うとすると遮らない fact5: その両刀が番うしその上餓鬼っぽい fact6: 仮にその両刀が歯軋りしないとすればあの国立市公民館は歯軋りするししかもそれは洗車する fact7: 仮になにがしかの物は番うとしたら「「それは高齢アルコール依存症であるが抜き取れるということはない」ということは偽でない」ということは嘘だ ; $hypothesis$ = 「あの盲目的は高齢アルコール依存症であるけどそれは抜き取れない」ということは間違いだ ; $proof$ = 
fact5 -> int1: 「その両刀は番う」ということは本当である; fact3 -> int2: もし仮にその両刀が番うとするとそれは造営しなくて更に歯軋りしない; int1 & int2 -> int3: その両刀は造営しないしそれは歯軋りしない; int3 -> int4: その両刀は歯軋りしない; int4 & fact6 -> int5: あの国立市公民館は歯軋りするしかつ洗車する; int5 -> int6: あの国立市公民館は洗車する; int6 & fact1 -> int7: あの盲目的は縫う; fact4 -> int8: もしあの盲目的は縫えば「それは遮らない」ということは真実だ; int7 & int8 -> int9: あの盲目的は遮らない; fact2 -> int10: もしもあの盲目的が遮らないとするとそれは高齢アルコール依存症だ一方で抜き取れない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 仮にあの国立市公民館が洗車するならあの盲目的は縫う
事実2: 何らかのものが遮らないとしたらそれは高齢アルコール依存症でそれは抜き取れない
事実3: とあるものが番うならば造営しなくてその上歯軋りしない
事実4: もしもなんらかの物が縫うとすると遮らない
事実5: その両刀が番うしその上餓鬼っぽい
事実6: 仮にその両刀が歯軋りしないとすればあの国立市公民館は歯軋りするししかもそれは洗車する
事実7: 仮になにがしかの物は番うとしたら「「それは高齢アルコール依存症であるが抜き取れるということはない」ということは偽でない」ということは嘘だ

仮説: 「あの盲目的は高齢アルコール依存症であるけどそれは抜き取れない」ということは間違いだ
1. 事実5から、推論1: "「その両刀は番う」ということは本当である"が導かれる
2. 事実3から、推論2: "もし仮にその両刀が番うとするとそれは造営しなくて更に歯軋りしない"が導かれる
3. 推論1と推論2から、推論3: "その両刀は造営しないしそれは歯軋りしない"が導かれる
4. 推論3から、推論4: "その両刀は歯軋りしない"が導かれる
5. 推論4と事実6から、推論5: "あの国立市公民館は歯軋りするしかつ洗車する"が導かれる
6. 推論5から、推論6: "あの国立市公民館は洗車する"が導かれる
7. 推論6と事実1から、推論7: "あの盲目的は縫う"が導かれる
8. 事実4から、推論8: "もしあの盲目的は縫えば「それは遮らない」ということは真実だ"が導かれる
9. 推論7と推論8から、推論9: "あの盲目的は遮らない"が導かれる
10. 事実2から、推論10: "もしもあの盲目的が遮らないとするとそれは高齢アルコール依存症だ一方で抜き取れない"が導かれる
11. 推論9と推論10から、仮説が否定される

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