Bob is blue. Dave is kind. Erin is kind. Gary is white. If someone is rough and white then they are blue. If someone is red and kind then they are white. If someone is blue then they are white. White, cold people are big. White people are cold. Kind people are red.
Bob is red.
@0: Bob is blue.[(triple1)] Dave is kind.[(triple2)] Erin is kind.[(triple3)] Gary is white.[(triple4)] @1: Bob is white.[(((triple1) -> rule3))] Dave is red.[(((triple2) -> rule6))] Erin is red.[(((triple3) -> rule6))] Gary is cold.[(((triple4) -> rule5))] @2: Bob is cold.[(((((triple1) -> rule3)) -> rule5))] Dave is white.[(((((triple2) -> rule6) triple2) -> rule2))] Erin is white.[(((((triple3) -> rule6) triple3) -> rule2))] Gary is big.[(((triple4 ((triple4) -> rule5)) -> rule4))] @3: Bob is big.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule5)) -> rule4))] Dave is cold.[(((((((triple2) -> rule6) triple2) -> rule2)) -> rule5))] Erin is cold.[(((((((triple3) -> rule6) triple3) -> rule2)) -> rule5))] @4: Dave is big.[(((((((triple2) -> rule6) triple2) -> rule2) ((((((triple2) -> rule6) triple2) -> rule2)) -> rule5)) -> rule4))] Erin is big.[(((((((triple3) -> rule6) triple3) -> rule2) ((((((triple3) -> rule6) triple3) -> rule2)) -> rule5)) -> rule4))]