Anne is cold. Anne is rough. Bob is kind. Bob is young. Charlie is young. Gary is not cold. Gary is not rough. If something is cold then it is young. If Bob is not kind then Bob is white. All young things are green. Red things are green. Green things are red. If something is red then it is rough.
Charlie is not young.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2 OR ((((((((triple1) -> rule1)) -> rule3)) -> rule5)) -> rule6))] Bob is kind.[(triple3)] Bob is young.[(triple4)] Charlie is young.[(triple5)] Gary is not cold.[(triple6)] Gary is not rough.[(triple7)] @1: Anne is young.[(((triple1) -> rule1))] Bob is green.[(((triple4) -> rule3))] Charlie is green.[(((triple5) -> rule3))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule3))] Bob is red.[(((((triple4) -> rule3)) -> rule5))] Charlie is red.[(((((triple5) -> rule3)) -> rule5))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule3)) -> rule5))] Bob is rough.[(((((((triple4) -> rule3)) -> rule5)) -> rule6))] Charlie is rough.[(((((((triple5) -> rule3)) -> rule5)) -> rule6))]