Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Dave is green. Dave is kind. Dave is round. Dave is smart. Erin is blue. Erin is kind. Erin is rough. Erin is smart. If Dave is green and Dave is rough then Dave is round. Green, cold things are round. Round, kind things are blue. If something is blue and green then it is smart. All rough, smart things are kind. Smart things are rough.
Erin is not round.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3 OR ((((((triple4 triple2) -> rule3) triple1) -> rule4)) -> rule6))] Charlie is round.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6 OR ((((triple8) -> rule6) triple8) -> rule5))] Dave is round.[(triple7 OR ((triple5 ((triple8) -> rule6)) -> rule1))] Dave is smart.[(triple8 OR ((((triple7 triple6) -> rule3) triple5) -> rule4))] Erin is blue.[(triple9)] Erin is kind.[(triple10 OR ((triple11 triple12) -> rule5) OR ((((triple12) -> rule6) triple12) -> rule5))] Erin is rough.[(triple11 OR ((triple12) -> rule6))] Erin is smart.[(triple12)] @1: Charlie is blue.[(((triple4 triple2) -> rule3))] Dave is blue.[(((triple7 triple6) -> rule3) OR ((triple7 ((((triple8) -> rule6) triple8) -> rule5)) -> rule3) OR ((((triple5 ((triple8) -> rule6)) -> rule1) triple6) -> rule3) OR ((((triple5 ((triple8) -> rule6)) -> rule1) ((((triple8) -> rule6) triple8) -> rule5)) -> rule3))] Dave is rough.[(((triple8) -> rule6) OR ((((((triple7 triple6) -> rule3) triple5) -> rule4)) -> rule6))] @2: Charlie is smart.[(((((triple4 triple2) -> rule3) triple1) -> rule4))]