Anne is cold. Anne is green. Anne is kind. Anne is rough. Anne is smart. Bob is cold. Bob is green. Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Fiona is blue. Fiona is green. Fiona is kind. Fiona is rough. Fiona is smart. If Fiona is smart and Fiona is cold then Fiona is green. All smart, cold things are green. Blue things are nice. Smart, nice things are rough. If something is kind then it is smart. All nice, green things are kind.
Charlie is not rough.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple5 triple1) -> rule2) OR ((((triple3) -> rule5) triple1) -> rule2))] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5 OR ((triple3) -> rule5))] Bob is cold.[(triple6)] Bob is green.[(triple7)] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Charlie is kind.[(triple10 OR ((triple11 triple9) -> rule6) OR ((((triple8) -> rule3) triple9) -> rule6))] Charlie is nice.[(triple11 OR ((triple8) -> rule3))] Fiona is blue.[(triple12)] Fiona is green.[(triple13)] Fiona is kind.[(triple14 OR ((((triple12) -> rule3) triple13) -> rule6))] Fiona is rough.[(triple15 OR ((triple16 ((triple12) -> rule3)) -> rule4) OR ((((triple14) -> rule5) ((triple12) -> rule3)) -> rule4) OR ((((((((triple12) -> rule3) triple13) -> rule6)) -> rule5) ((triple12) -> rule3)) -> rule4))] Fiona is smart.[(triple16 OR ((triple14) -> rule5) OR ((((((triple12) -> rule3) triple13) -> rule6)) -> rule5))] @1: Charlie is smart.[(((triple10) -> rule5) OR ((((triple11 triple9) -> rule6)) -> rule5) OR ((((((triple8) -> rule3) triple9) -> rule6)) -> rule5))] Fiona is nice.[(((triple12) -> rule3))] @2: Charlie is rough.[(((((triple10) -> rule5) triple11) -> rule4) OR ((((triple10) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((((triple11 triple9) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((triple11 triple9) -> rule6)) -> rule5) ((triple8) -> rule3)) -> rule4) OR ((((((((triple8) -> rule3) triple9) -> rule6)) -> rule5) triple11) -> rule4) OR ((((((((triple8) -> rule3) triple9) -> rule6)) -> rule5) ((triple8) -> rule3)) -> rule4))]