Bob is cold. Charlie is not red. Dave is young. Erin is white. If something is round then it is not kind. If something is kind and not young then it is red. Young things are red. All cold, white things are round. Young things are round. All red things are white. If Erin is round and Erin is young then Erin is white. If something is white and not kind then it is green.
Dave is green.
@0: Bob is cold.[(triple1)] Charlie is not red.[(triple2)] Dave is young.[(triple3)] Erin is white.[(triple4)] @1: Dave is red.[(((triple3) -> rule3))] Dave is round.[(((triple3) -> rule5))] @2: Dave is not kind.[(((((triple3) -> rule5)) -> rule1))] Dave is white.[(((((triple3) -> rule3)) -> rule6))] @3: Dave is green.[(((((((triple3) -> rule3)) -> rule6) ((((triple3) -> rule5)) -> rule1)) -> rule8))]