Bob is young. Erin is quiet. Gary is quiet. Harry is kind. If Gary is cold and Gary is red then Gary is smart. If Erin is red then Erin is nice. All quiet things are kind. All red, quiet things are nice. Kind things are red. If something is quiet then it is smart.
Gary is not cold.
@0: Bob is young.[(triple1)] Erin is quiet.[(triple2)] Gary is quiet.[(triple3)] Harry is kind.[(triple4)] @1: Erin is kind.[(((triple2) -> rule3))] Erin is smart.[(((triple2) -> rule6))] Gary is kind.[(((triple3) -> rule3))] Gary is smart.[(((triple3) -> rule6))] Harry is red.[(((triple4) -> rule5))] @2: Erin is red.[(((((triple2) -> rule3)) -> rule5))] Gary is red.[(((((triple3) -> rule3)) -> rule5))] @3: Erin is nice.[(((((((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((((triple2) -> rule3)) -> rule5) triple2) -> rule4))] Gary is nice.[(((((((triple3) -> rule3)) -> rule5) triple3) -> rule4))]