Anne is big. Anne is cold. Anne is rough. Anne is white. Anne is young. Bob is furry. Bob is round. Erin is cold. Erin is young. Gary is big. Gary is cold. Gary is furry. Gary is rough. Gary is round. Gary is white. Gary is young. If someone is big then they are cold. If someone is white and rough then they are big. If someone is white then they are furry.
Anne is not furry.
@0: Anne is big.[(triple1 OR ((triple4 triple3) -> rule2))] Anne is cold.[(triple2 OR ((triple1) -> rule1) OR ((((triple4 triple3) -> rule2)) -> rule1))] Anne is rough.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Bob is furry.[(triple6)] Bob is round.[(triple7)] Erin is cold.[(triple8)] Erin is young.[(triple9)] Gary is big.[(triple10 OR ((triple15 triple13) -> rule2))] Gary is cold.[(triple11 OR ((triple10) -> rule1) OR ((((triple15 triple13) -> rule2)) -> rule1))] Gary is furry.[(triple12 OR ((triple15) -> rule3))] Gary is rough.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Anne is furry.[(((triple4) -> rule3))]