Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is white. Dave is cold. Fiona is big. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is white. Gary is big. Gary is cold. Gary is furry. Gary is rough. All rough, white people are cold. If someone is white then they are big. White people are quiet. Big people are quiet. If Gary is cold then Gary is furry. All big, quiet people are white.
Gary is cold.
@0: Anne is cold.[(triple1 OR ((triple5 triple6) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4 OR ((triple6) -> rule3) OR ((((triple6) -> rule2)) -> rule4))] Anne is rough.[(triple5)] Anne is white.[(triple6)] Dave is cold.[(triple7)] Fiona is big.[(triple8 OR ((triple12) -> rule2))] Fiona is cold.[(triple9 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple8 ((triple8) -> rule4)) -> rule6)) -> rule1))] Fiona is furry.[(triple10)] Fiona is rough.[(triple11)] Fiona is white.[(triple12 OR ((triple8 ((triple8) -> rule4)) -> rule6))] Gary is big.[(triple13)] Gary is cold.[(triple14 OR ((triple16 ((triple13 ((triple13) -> rule4)) -> rule6)) -> rule1))] Gary is furry.[(triple15 OR ((triple14) -> rule5) OR ((((triple16 ((triple13 ((triple13) -> rule4)) -> rule6)) -> rule1)) -> rule5))] Gary is rough.[(triple16)] @1: Anne is big.[(((triple6) -> rule2))] Fiona is quiet.[(((triple12) -> rule3) OR ((triple8) -> rule4) OR ((((triple12) -> rule2)) -> rule4))] Gary is quiet.[(((triple13) -> rule4))] @2: Gary is white.[(((triple13 ((triple13) -> rule4)) -> rule6))]