Dave is cold. Dave is furry. Dave is nice. Dave is not rough. Dave is smart. Dave is not white. Dave is young. Erin is cold. Erin is furry. Erin is nice. Erin is rough. Erin is smart. Erin is white. Erin is young. If something is nice and rough then it is cold. Nice things are cold. All smart, cold things are nice. If something is young then it is nice. Cold things are smart. If something is young and not nice then it is not furry.
Erin is not cold.
@0: Dave is cold.[(triple1 OR ((triple3) -> rule2) OR ((((triple7) -> rule4)) -> rule2))] Dave is furry.[(triple2)] Dave is nice.[(triple3 OR ((triple7) -> rule4) OR ((triple5 triple1) -> rule3) OR ((((triple1) -> rule5) triple1) -> rule3))] Dave is not rough.[(triple4)] Dave is not white.[(triple6)] Dave is smart.[(triple5 OR ((triple1) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((((triple7) -> rule4)) -> rule2)) -> rule5))] Dave is young.[(triple7)] Erin is cold.[(triple8 OR ((triple10) -> rule2) OR ((triple10 triple11) -> rule1) OR ((((triple14) -> rule4)) -> rule2) OR ((((triple14) -> rule4) triple11) -> rule1))] Erin is furry.[(triple9)] Erin is nice.[(triple10 OR ((triple14) -> rule4) OR ((triple12 triple8) -> rule3) OR ((((triple8) -> rule5) triple8) -> rule3))] Erin is rough.[(triple11)] Erin is smart.[(triple12 OR ((triple8) -> rule5) OR ((((triple10) -> rule2)) -> rule5) OR ((((triple10 triple11) -> rule1)) -> rule5) OR ((((((triple14) -> rule4)) -> rule2)) -> rule5) OR ((((((triple14) -> rule4) triple11) -> rule1)) -> rule5))] Erin is white.[(triple13)] Erin is young.[(triple14)]