Dave is round. Erin is rough. All cold, round people are nice. If someone is blue then they are round. Smart people are blue. If someone is blue and quiet then they are nice. If someone is rough then they are cold. Cold, rough people are blue. Quiet, blue people are smart. All round people are quiet.
Erin is not rough.
@0: Dave is round.[(triple1)] Erin is rough.[(triple2)] @1: Dave is quiet.[(((triple1) -> rule8))] Erin is cold.[(((triple2) -> rule5))] @2: Erin is blue.[(((((triple2) -> rule5) triple2) -> rule6))] @3: Erin is round.[(((((((triple2) -> rule5) triple2) -> rule6)) -> rule2))] @4: Erin is nice.[(((((triple2) -> rule5) ((((((triple2) -> rule5) triple2) -> rule6)) -> rule2)) -> rule1) OR ((((((triple2) -> rule5) triple2) -> rule6) ((((((((triple2) -> rule5) triple2) -> rule6)) -> rule2)) -> rule8)) -> rule4))] Erin is quiet.[(((((((((triple2) -> rule5) triple2) -> rule6)) -> rule2)) -> rule8))] @5: Erin is smart.[(((((((((((triple2) -> rule5) triple2) -> rule6)) -> rule2)) -> rule8) ((((triple2) -> rule5) triple2) -> rule6)) -> rule7))]