このＤＯＴＳは街らしいということはない
fact1: 「移譲するということはない」物はある fact2: この白人達は街らしい fact3: もし「変化し易くない」物があればこのＤＯＴＳは街らしい fact4: このＤＯＴＳはイメージ作りだ fact5: もし仮に何かはＡＬＰＳであるということはないとすれば「このＤＯＴＳは街らしい」ということは真実である fact6: 仮に「常連らしくない」ものがあればこのＤＯＴＳは街らしい fact7: このＤＯＴＳは御説き下さる fact8: 「街らしくない」物はある fact9: その地文は街らしい fact10: 「変化し易いということはない」ものはある fact11: もし「なんらかの物は変化し易くないかあるいは剥げるかもしくは両方である」ということは事実だということはないならばそれは街らしくない fact12: なんらかの物は如此し fact13: 「シーホークでない」ものはある fact14: もしも「アメリカ・モデルでない」物があるとするとこのＤＯＴＳは針型である fact15: 何らかの物は移ろい易くない fact16: とある物は街らしい
fact10 & fact3 -> hypothesis;
fact10 & fact3 -> hypothesis;
このＤＯＴＳは街らしくない
fact17 -> int1: もしも「このＤＯＴＳは変化し易くないかもしくは剥げる」ということは嘘であるならばそれは街らしいということはない;
$facts$ = fact1: 「移譲するということはない」物はある fact2: この白人達は街らしい fact3: もし「変化し易くない」物があればこのＤＯＴＳは街らしい fact4: このＤＯＴＳはイメージ作りだ fact5: もし仮に何かはＡＬＰＳであるということはないとすれば「このＤＯＴＳは街らしい」ということは真実である fact6: 仮に「常連らしくない」ものがあればこのＤＯＴＳは街らしい fact7: このＤＯＴＳは御説き下さる fact8: 「街らしくない」物はある fact9: その地文は街らしい fact10: 「変化し易いということはない」ものはある fact11: もし「なんらかの物は変化し易くないかあるいは剥げるかもしくは両方である」ということは事実だということはないならばそれは街らしくない fact12: なんらかの物は如此し fact13: 「シーホークでない」ものはある fact14: もしも「アメリカ・モデルでない」物があるとするとこのＤＯＴＳは針型である fact15: 何らかの物は移ろい易くない fact16: とある物は街らしい ; $hypothesis$ = このＤＯＴＳは街らしいということはない ; $proof$ = 
fact10 & fact3 -> hypothesis; __DISPROVED__
事実1: 「移譲するということはない」物はある
事実2: この白人達は街らしい
事実3: もし「変化し易くない」物があればこのＤＯＴＳは街らしい
事実4: このＤＯＴＳはイメージ作りだ
事実5: もし仮に何かはＡＬＰＳであるということはないとすれば「このＤＯＴＳは街らしい」ということは真実である
事実6: 仮に「常連らしくない」ものがあればこのＤＯＴＳは街らしい
事実7: このＤＯＴＳは御説き下さる
事実8: 「街らしくない」物はある
事実9: その地文は街らしい
事実10: 「変化し易いということはない」ものはある
事実11: もし「なんらかの物は変化し易くないかあるいは剥げるかもしくは両方である」ということは事実だということはないならばそれは街らしくない
事実12: なんらかの物は如此し
事実13: 「シーホークでない」ものはある
事実14: もしも「アメリカ・モデルでない」物があるとするとこのＤＯＴＳは針型である
事実15: 何らかの物は移ろい易くない
事実16: とある物は街らしい

仮説: このＤＯＴＳは街らしいということはない
1. 事実10と事実3から、仮説が否定される

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