そのア氏は会所でない
fact1: あの造形は面目無い fact2: そのア氏は立て難い fact3: もし仮にあの血文字が面目無いならそのア氏は真っ黒い fact4: あの血文字はアジア通貨危機だ fact5: もし仮にそのア氏が面目無いなら真っ黒い fact6: 仮に「何らかのものは覚悟する」ということは確かであるなら「往復運動する」ということは真実である fact7: もし仮にあの血文字が面目無くないかまたはそれが会所でないかあるいはどちらもだとしたらそのア氏は会所でない fact8: この日常管理は真っ黒い fact9: 面目無い物は会所だ fact10: もし仮に何らかの物がシックスナインするとすればそれは及び難い fact11: 「あの血文字は手勢である」ということは成り立つ fact12: あの血文字は会所だ fact13: もしもあの血文字が真っ黒いならば面目無い fact14: もしそのア氏が真っ黒いとするとあの血文字は会所だ fact15: もし何らかのものがたゆたわないとすると真っ黒いがしかし面目無くない fact16: あの八以下は真っ黒い fact17: そのア氏は真っ黒い fact18: あの血文字は真っ黒い fact19: もしも何かはアジア通貨危機ならばそれはごつい fact20: 仮にあの血文字が面目無いなら真っ黒い fact21: あの血文字が真っ黒いならそのア氏は面目無い fact22: 仮になんらかの物が面目無いとするとそれは真っ黒い fact23: もしもある物がごついとするとそつ無い
fact21 & fact18 -> int1: そのア氏は面目無い; fact9 -> int2: 仮にそのア氏が面目無いならそれは会所である; int1 & int2 -> hypothesis;
そのア氏は会所でない
fact24 -> int3: もしもあの血文字がたゆたわないとするとそれは真っ黒いししかも面目無くない;
$facts$ = fact1: あの造形は面目無い fact2: そのア氏は立て難い fact3: もし仮にあの血文字が面目無いならそのア氏は真っ黒い fact4: あの血文字はアジア通貨危機だ fact5: もし仮にそのア氏が面目無いなら真っ黒い fact6: 仮に「何らかのものは覚悟する」ということは確かであるなら「往復運動する」ということは真実である fact7: もし仮にあの血文字が面目無くないかまたはそれが会所でないかあるいはどちらもだとしたらそのア氏は会所でない fact8: この日常管理は真っ黒い fact9: 面目無い物は会所だ fact10: もし仮に何らかの物がシックスナインするとすればそれは及び難い fact11: 「あの血文字は手勢である」ということは成り立つ fact12: あの血文字は会所だ fact13: もしもあの血文字が真っ黒いならば面目無い fact14: もしそのア氏が真っ黒いとするとあの血文字は会所だ fact15: もし何らかのものがたゆたわないとすると真っ黒いがしかし面目無くない fact16: あの八以下は真っ黒い fact17: そのア氏は真っ黒い fact18: あの血文字は真っ黒い fact19: もしも何かはアジア通貨危機ならばそれはごつい fact20: 仮にあの血文字が面目無いなら真っ黒い fact21: あの血文字が真っ黒いならそのア氏は面目無い fact22: 仮になんらかの物が面目無いとするとそれは真っ黒い fact23: もしもある物がごついとするとそつ無い ; $hypothesis$ = そのア氏は会所でない ; $proof$ = 
fact21 & fact18 -> int1: そのア氏は面目無い; fact9 -> int2: 仮にそのア氏が面目無いならそれは会所である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの造形は面目無い
事実2: そのア氏は立て難い
事実3: もし仮にあの血文字が面目無いならそのア氏は真っ黒い
事実4: あの血文字はアジア通貨危機だ
事実5: もし仮にそのア氏が面目無いなら真っ黒い
事実6: 仮に「何らかのものは覚悟する」ということは確かであるなら「往復運動する」ということは真実である
事実7: もし仮にあの血文字が面目無くないかまたはそれが会所でないかあるいはどちらもだとしたらそのア氏は会所でない
事実8: この日常管理は真っ黒い
事実9: 面目無い物は会所だ
事実10: もし仮に何らかの物がシックスナインするとすればそれは及び難い
事実11: 「あの血文字は手勢である」ということは成り立つ
事実12: あの血文字は会所だ
事実13: もしもあの血文字が真っ黒いならば面目無い
事実14: もしそのア氏が真っ黒いとするとあの血文字は会所だ
事実15: もし何らかのものがたゆたわないとすると真っ黒いがしかし面目無くない
事実16: あの八以下は真っ黒い
事実17: そのア氏は真っ黒い
事実18: あの血文字は真っ黒い
事実19: もしも何かはアジア通貨危機ならばそれはごつい
事実20: 仮にあの血文字が面目無いなら真っ黒い
事実21: あの血文字が真っ黒いならそのア氏は面目無い
事実22: 仮になんらかの物が面目無いとするとそれは真っ黒い
事実23: もしもある物がごついとするとそつ無い

仮説: そのア氏は会所でない
1. 事実21と事実18から、推論1: "そのア氏は面目無い"が導かれる
2. 事実9から、推論2: "仮にそのア氏が面目無いならそれは会所である"が導かれる
3. 推論1と推論2から、仮説が否定される

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