Bob is blue. Erin is red. Erin is young. If something is nice then it is blue. If Erin is blue then Erin is red. If something is blue then it is nice. If something is white and not nice then it is not round. All nice things are red. If something is white and not nice then it is red. Round, blue things are green. Red things are young.
Bob is not round.
@0: Bob is blue.[(triple1)] Erin is red.[(triple2)] Erin is young.[(triple3 OR ((triple2) -> rule8))] @1: Bob is nice.[(((triple1) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3)) -> rule5))] @3: Bob is young.[(((((((triple1) -> rule3)) -> rule5)) -> rule8))]