Bob is nice. Erin is blue. Erin is white. Gary is furry. Gary is green. Harry is blue. Harry is round. All round things are blue. If Bob is nice and Bob is blue then Bob is round. White things are green. All green, blue things are furry. Green things are young. All furry, young things are green.
Bob is green.
@0: Bob is nice.[(triple1)] Erin is blue.[(triple2)] Erin is white.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Harry is blue.[(triple6 OR ((triple7) -> rule1))] Harry is round.[(triple7)] @1: Erin is green.[(((triple3) -> rule3))] Gary is young.[(((triple5) -> rule5))] @2: Erin is furry.[(((((triple3) -> rule3) triple2) -> rule4))] Erin is young.[(((((triple3) -> rule3)) -> rule5))]