Bob is big. Bob is cold. Bob is furry. Bob is nice. Bob is red. Bob is smart. Bob is young. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is smart. Dave is young. Erin is big. Erin is cold. Erin is nice. If someone is smart and furry then they are cold. If Dave is young then Dave is nice. If someone is furry then they are cold. If Dave is young and Dave is red then Dave is nice. If someone is smart then they are young. Smart, big people are furry.
Erin is not young.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule3) OR ((triple6 triple3) -> rule1) OR ((((triple6 triple1) -> rule6)) -> rule3) OR ((triple6 ((triple6 triple1) -> rule6)) -> rule1))] Bob is furry.[(triple3 OR ((triple6 triple1) -> rule6))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7 OR ((triple6) -> rule5))] Dave is cold.[(triple8 OR ((triple9) -> rule3) OR ((triple12 triple9) -> rule1))] Dave is furry.[(triple9)] Dave is nice.[(triple10 OR ((triple13) -> rule2) OR ((triple13 triple11) -> rule4) OR ((((triple12) -> rule5)) -> rule2) OR ((((triple12) -> rule5) triple11) -> rule4))] Dave is red.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13 OR ((triple12) -> rule5))] Erin is big.[(triple14)] Erin is cold.[(triple15)] Erin is nice.[(triple16)]