Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Fiona is young. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. Gary is young. If someone is furry and cold then they are quiet. If someone is white and furry then they are cold. If someone is young and furry then they are rough. If someone is young and cold then they are nice. If Fiona is furry and Fiona is rough then Fiona is white. Furry people are rough.
Gary is not young.
@0: Fiona is furry.[(triple1)] Fiona is nice.[(triple2 OR ((triple6 ((triple5 triple1) -> rule2)) -> rule4) OR ((triple6 ((((triple1 triple4) -> rule5) triple1) -> rule2)) -> rule4) OR ((triple6 ((((triple1 ((triple1) -> rule6)) -> rule5) triple1) -> rule2)) -> rule4) OR ((triple6 ((((triple1 ((triple6 triple1) -> rule3)) -> rule5) triple1) -> rule2)) -> rule4))] Fiona is quiet.[(triple3 OR ((triple1 ((triple5 triple1) -> rule2)) -> rule1) OR ((triple1 ((((triple1 triple4) -> rule5) triple1) -> rule2)) -> rule1) OR ((triple1 ((((triple1 ((triple1) -> rule6)) -> rule5) triple1) -> rule2)) -> rule1) OR ((triple1 ((((triple1 ((triple6 triple1) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1))] Fiona is rough.[(triple4 OR ((triple1) -> rule6) OR ((triple6 triple1) -> rule3))] Fiona is white.[(triple5 OR ((triple1 triple4) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule5) OR ((triple1 ((triple6 triple1) -> rule3)) -> rule5))] Fiona is young.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9 OR ((triple12 triple7) -> rule4))] Gary is quiet.[(triple10 OR ((triple8 triple7) -> rule1))] Gary is rough.[(triple11 OR ((triple8) -> rule6) OR ((triple12 triple8) -> rule3))] Gary is young.[(triple12)] @1: Fiona is cold.[(((triple5 triple1) -> rule2) OR ((((triple1 triple4) -> rule5) triple1) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule5) triple1) -> rule2) OR ((((triple1 ((triple6 triple1) -> rule3)) -> rule5) triple1) -> rule2))]