Anne is red. Bob is cold. Charlie is white. Erin is smart. All smart, big people are rough. If Charlie is smart then Charlie is white. Cold people are big. If someone is big then they are smart. All red, smart people are kind. If someone is red then they are cold. If someone is rough and cold then they are smart. If Anne is rough then Anne is white.
Anne is red.
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Charlie is white.[(triple3)] Erin is smart.[(triple4)] @1: Anne is cold.[(((triple1) -> rule6))] Bob is big.[(((triple2) -> rule3))] @2: Anne is big.[(((((triple1) -> rule6)) -> rule3))] Bob is smart.[(((((triple2) -> rule3)) -> rule4))] @3: Anne is smart.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))] Bob is rough.[(((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule3)) -> rule1))] @4: Anne is kind.[(((triple1 ((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Anne is rough.[(((((((((triple1) -> rule6)) -> rule3)) -> rule4) ((((triple1) -> rule6)) -> rule3)) -> rule1))] @5: Anne is white.[(((((((((((triple1) -> rule6)) -> rule3)) -> rule4) ((((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule8))]