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