Bob is quiet. Dave is nice. Erin is quiet. Gary is blue. All quiet things are round. If Dave is blue and Dave is rough then Dave is round. If something is quiet and red then it is rough. Cold, quiet things are nice. If something is rough then it is cold. Quiet things are cold. Rough things are cold. Nice things are blue.
Erin is not blue.
@0: Bob is quiet.[(triple1)] Dave is nice.[(triple2)] Erin is quiet.[(triple3)] Gary is blue.[(triple4)] @1: Bob is cold.[(((triple1) -> rule6))] Bob is round.[(((triple1) -> rule1))] Dave is blue.[(((triple2) -> rule8))] Erin is cold.[(((triple3) -> rule6))] Erin is round.[(((triple3) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule6) triple1) -> rule4))] Erin is nice.[(((((triple3) -> rule6) triple3) -> rule4))] @3: Bob is blue.[(((((((triple1) -> rule6) triple1) -> rule4)) -> rule8))] Erin is blue.[(((((((triple3) -> rule6) triple3) -> rule4)) -> rule8))]