Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Dave is cold. Dave is green. Erin is furry. Green people are round. Smart, green people are white. Round people are smart.
Erin is not green.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple3) -> rule1))] Charlie is smart.[(triple6 OR ((triple5) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Charlie is white.[(triple7 OR ((triple6 triple3) -> rule2) OR ((((triple5) -> rule3) triple3) -> rule2) OR ((((((triple3) -> rule1)) -> rule3) triple3) -> rule2))] Dave is cold.[(triple8)] Dave is green.[(triple9)] Erin is furry.[(triple10)] @1: Dave is round.[(((triple9) -> rule1))] @2: Dave is smart.[(((((triple9) -> rule1)) -> rule3))] @3: Dave is white.[(((((((triple9) -> rule1)) -> rule3) triple9) -> rule2))]