Dave is cold. Erin is blue. Gary is kind. If something is blue then it is not round. Cold, green things are round. Green things are round. Rough things are cold. If Dave is round then Dave is furry. If something is furry and blue then it is kind. Cold things are green. If something is cold and not blue then it is rough.
Dave is not round.
@0: Dave is cold.[(triple1)] Erin is blue.[(triple2)] Gary is kind.[(triple3)] @1: Dave is green.[(((triple1) -> rule7))] Erin is not round.[(((triple2) -> rule1))] @2: Dave is round.[(((((triple1) -> rule7)) -> rule3) OR ((triple1 ((triple1) -> rule7)) -> rule2))] @3: Dave is furry.[(((((((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule5))]