Erin is smart. Fiona is quiet. Gary is furry. Gary is kind. Gary is nice. Gary is smart. Gary is white. If someone is furry then they are kind. If someone is furry and blue then they are smart. If someone is smart then they are furry.
Gary is smart.
@0: Erin is smart.[(triple1)] Fiona is quiet.[(triple2)] Gary is furry.[(triple3 OR ((triple6) -> rule3))] Gary is kind.[(triple4 OR ((triple3) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Gary is nice.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] @1: Erin is furry.[(((triple1) -> rule3))] @2: Erin is kind.[(((((triple1) -> rule3)) -> rule1))]