Bob is green. Dave is cold. Erin is young. Harry is round. All young people are quiet. All quiet people are white. Young, white people are round. All young people are white. If Harry is green then Harry is nice. If someone is white then they are round.
Bob is not cold.
@0: Bob is green.[(triple1)] Dave is cold.[(triple2)] Erin is young.[(triple3)] Harry is round.[(triple4)] @1: Erin is quiet.[(((triple3) -> rule1))] Erin is white.[(((triple3) -> rule4) OR ((((triple3) -> rule1)) -> rule2))] @2: Erin is round.[(((((triple3) -> rule4)) -> rule6) OR ((triple3 ((triple3) -> rule4)) -> rule3) OR ((((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((triple3 ((((triple3) -> rule1)) -> rule2)) -> rule3))]