Bob is quiet. Dave is green. Erin is quiet. Green people are rough. All nice people are round. If Bob is green and Bob is not red then Bob is nice. If Erin is green and Erin is not red then Erin is round. All rough, cold people are quiet. If someone is green and red then they are nice. If Dave is rough then Dave is red. If Erin is nice then Erin is not quiet.
Erin is not round.
@0: Bob is quiet.[(triple1)] Dave is green.[(triple2)] Erin is quiet.[(triple3)] @1: Dave is rough.[(((triple2) -> rule1))] @2: Dave is red.[(((((triple2) -> rule1)) -> rule7))] @3: Dave is nice.[(((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6))] @4: Dave is round.[(((((triple2 ((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule2))]