Anne is green. Bob is red. Erin is red. Harry is nice. If someone is red then they are green. If Harry is round and Harry is green then Harry is red. Green people are young. If someone is young and not red then they are not white. If someone is nice and not green then they are white. If someone is white and not round then they are not nice. Young, green people are not nice. If Harry is green and Harry is not young then Harry is not cold.
Bob is round.
@0: Anne is green.[(triple1)] Bob is red.[(triple2)] Erin is red.[(triple3)] Harry is nice.[(triple4)] @1: Anne is young.[(((triple1) -> rule3))] Bob is green.[(((triple2) -> rule1))] Erin is green.[(((triple3) -> rule1))] @2: Anne is not nice.[(((((triple1) -> rule3) triple1) -> rule7))] Bob is young.[(((((triple2) -> rule1)) -> rule3))] Erin is young.[(((((triple3) -> rule1)) -> rule3))] @3: Bob is not nice.[(((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule7))] Erin is not nice.[(((((((triple3) -> rule1)) -> rule3) ((triple3) -> rule1)) -> rule7))]