Bob is green. Charlie is round. Gary is cold. If someone is round then they are furry. If someone is round and not cold then they are young. Furry people are young. If Charlie is not round then Charlie is not young. If someone is furry and not young then they are green. Young people are green.
Gary is nice.
@0: Bob is green.[(triple1)] Charlie is round.[(triple2)] Gary is cold.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule1))] @2: Charlie is young.[(((((triple2) -> rule1)) -> rule3))] @3: Charlie is green.[(((((((triple2) -> rule1)) -> rule3)) -> rule6))]