Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is young. Bob is young. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is young. Nice things are cold. Red, nice things are young. Quiet things are red. All quiet things are young. All furry, red things are nice. If Bob is quiet then Bob is rough.
Gary is not cold.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple2) -> rule3))] Anne is rough.[(triple4)] Anne is young.[(triple5 OR ((triple2) -> rule4) OR ((triple3 triple1) -> rule2) OR ((((triple2) -> rule3) triple1) -> rule2))] Bob is young.[(triple6)] Erin is cold.[(triple7 OR ((((triple8 triple10) -> rule5)) -> rule1) OR ((((triple8 ((triple9) -> rule3)) -> rule5)) -> rule1))] Erin is furry.[(triple8)] Erin is quiet.[(triple9)] Erin is red.[(triple10 OR ((triple9) -> rule3))] Gary is cold.[(triple11 OR ((triple13) -> rule1) OR ((((triple12 ((triple14) -> rule3)) -> rule5)) -> rule1))] Gary is furry.[(triple12)] Gary is nice.[(triple13 OR ((triple12 ((triple14) -> rule3)) -> rule5))] Gary is quiet.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16 OR ((triple14) -> rule4) OR ((((triple14) -> rule3) triple13) -> rule2) OR ((((triple14) -> rule3) ((triple12 ((triple14) -> rule3)) -> rule5)) -> rule2))] @1: Anne is cold.[(((triple1) -> rule1))] Erin is nice.[(((triple8 triple10) -> rule5) OR ((triple8 ((triple9) -> rule3)) -> rule5))] Erin is young.[(((triple9) -> rule4) OR ((triple10 ((triple8 triple10) -> rule5)) -> rule2) OR ((((triple9) -> rule3) ((triple8 triple10) -> rule5)) -> rule2) OR ((triple10 ((triple8 ((triple9) -> rule3)) -> rule5)) -> rule2) OR ((((triple9) -> rule3) ((triple8 ((triple9) -> rule3)) -> rule5)) -> rule2))] Gary is red.[(((triple14) -> rule3))]