Anne is green. Bob is kind. Erin is rough. Harry is nice. If someone is kind and rough then they are white. If Bob is green and Bob is not nice then Bob is not blue. If someone is kind then they are rough. If someone is nice then they are kind. Kind people are big. Kind people are not blue.
Erin is white.
@0: Anne is green.[(triple1)] Bob is kind.[(triple2)] Erin is rough.[(triple3)] Harry is nice.[(triple4)] @1: Bob is big.[(((triple2) -> rule5))] Bob is not blue.[(((triple2) -> rule6))] Bob is rough.[(((triple2) -> rule3))] Harry is kind.[(((triple4) -> rule4))] @2: Bob is white.[(((triple2 ((triple2) -> rule3)) -> rule1))] Harry is big.[(((((triple4) -> rule4)) -> rule5))] Harry is not blue.[(((((triple4) -> rule4)) -> rule6))] Harry is rough.[(((((triple4) -> rule4)) -> rule3))] @3: Harry is white.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule3)) -> rule1))]