Bob is red. Erin is quiet. Gary is blue. Harry is young. If Bob is blue and Bob is red then Bob is round. All round people are green. Round, quiet people are young. All green people are young. Green people are round. Green people are furry. If Gary is furry then Gary is quiet. If someone is red then they are blue.
Gary is red.
@0: Bob is red.[(triple1)] Erin is quiet.[(triple2)] Gary is blue.[(triple3)] Harry is young.[(triple4)] @1: Bob is blue.[(((triple1) -> rule8))] @2: Bob is round.[(((((triple1) -> rule8) triple1) -> rule1))] @3: Bob is green.[(((((((triple1) -> rule8) triple1) -> rule1)) -> rule2))] @4: Bob is furry.[(((((((((triple1) -> rule8) triple1) -> rule1)) -> rule2)) -> rule6))] Bob is young.[(((((((((triple1) -> rule8) triple1) -> rule1)) -> rule2)) -> rule4))]