Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is white. Charlie is cold. Charlie is green. Charlie is smart. Charlie is white. Dave is cold. Dave is green. Dave is rough. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is smart. Kind, rough things are green. If something is green then it is cold. Green, white things are cold. If something is red then it is cold. Smart things are rough. White, red things are rough.
Charlie is not smart.
@0: Anne is green.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple5 triple3) -> rule6)) -> rule1))] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple5 triple3) -> rule6))] Anne is white.[(triple5)] Charlie is cold.[(triple6 OR ((triple7) -> rule2) OR ((triple7 triple9) -> rule3))] Charlie is green.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Dave is cold.[(triple10 OR ((triple11) -> rule2))] Dave is green.[(triple11)] Dave is rough.[(triple12)] Fiona is cold.[(triple13 OR ((((triple14 triple15) -> rule1)) -> rule2) OR ((((triple14 ((triple16) -> rule5)) -> rule1)) -> rule2))] Fiona is kind.[(triple14)] Fiona is rough.[(triple15 OR ((triple16) -> rule5))] Fiona is smart.[(triple16)] @1: Anne is cold.[(((triple1) -> rule2) OR ((triple3) -> rule4) OR ((triple1 triple5) -> rule3) OR ((((triple2 triple4) -> rule1)) -> rule2) OR ((((triple2 triple4) -> rule1) triple5) -> rule3) OR ((((triple2 ((triple5 triple3) -> rule6)) -> rule1)) -> rule2) OR ((((triple2 ((triple5 triple3) -> rule6)) -> rule1) triple5) -> rule3))] Charlie is rough.[(((triple8) -> rule5))] Fiona is green.[(((triple14 triple15) -> rule1) OR ((triple14 ((triple16) -> rule5)) -> rule1))]