Erin is white. Gary is smart. If someone is white and kind then they are big. If Erin is rough and Erin is red then Erin is big. Red people are kind. If someone is red and not round then they are not kind. All smart people are red. If Gary is red then Gary is white. If Gary is red and Gary is not white then Gary is not big. If Gary is white and Gary is not red then Gary is not rough.
Erin is smart.
@0: Erin is white.[(triple1)] Gary is smart.[(triple2)] @1: Gary is red.[(((triple2) -> rule5))] @2: Gary is kind.[(((((triple2) -> rule5)) -> rule3))] Gary is white.[(((((triple2) -> rule5)) -> rule6))] @3: Gary is big.[(((((((triple2) -> rule5)) -> rule6) ((((triple2) -> rule5)) -> rule3)) -> rule1))]