Bob is not big. Bob is blue. Bob is cold. Bob is not furry. Bob is red. Bob is rough. Bob is young. Erin is big. Erin is not blue. Erin is cold. Erin is not furry. Erin is red. Erin is rough. Erin is young. If Erin is rough then Erin is red. All blue things are cold. If something is young and not big then it is cold. If Bob is cold and Bob is furry then Bob is blue. If Bob is big and Bob is furry then Bob is cold. If something is cold then it is red.
Bob is not rough.
@0: Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple2) -> rule2) OR ((triple7 triple1) -> rule3))] Bob is not big.[(triple1)] Bob is not furry.[(triple4)] Bob is red.[(triple5 OR ((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6) OR ((((triple7 triple1) -> rule3)) -> rule6))] Bob is rough.[(triple6)] Bob is young.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple10)] Erin is not blue.[(triple9)] Erin is not furry.[(triple11)] Erin is red.[(triple12 OR ((triple10) -> rule6) OR ((triple13) -> rule1))] Erin is rough.[(triple13)] Erin is young.[(triple14)]