Erin is blue. Erin is kind. Erin is red. Erin is rough. Gary is furry. Gary is kind. Gary is red. If someone is blue then they are white. If someone is rough then they are smart. If Erin is rough then Erin is white. All kind people are red. If someone is smart then they are kind. All blue people are kind.
Gary is not white.
@0: Erin is blue.[(triple1)] Erin is kind.[(triple2 OR ((triple1) -> rule6) OR ((((triple4) -> rule2)) -> rule5))] Erin is red.[(triple3 OR ((triple2) -> rule4) OR ((((triple1) -> rule6)) -> rule4) OR ((((((triple4) -> rule2)) -> rule5)) -> rule4))] Erin is rough.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple6)] Gary is red.[(triple7 OR ((triple6) -> rule4))] @1: Erin is smart.[(((triple4) -> rule2))] Erin is white.[(((triple1) -> rule1) OR ((triple4) -> rule3))]