Anne is cold. Anne is green. Anne is kind. Anne is smart. Anne is white. Bob is not big. Bob is not cold. Bob is rough. Bob is smart. Bob is white. Charlie is big. Charlie is green. Charlie is kind. Charlie is not rough. Charlie is smart. If something is smart and big then it is kind. If something is smart and not rough then it is kind. If something is rough and not smart then it is white. If something is smart then it is white. If something is rough and not smart then it is white. All big, green things are cold. If Bob is kind then Bob is green. If something is kind then it is big.
Anne is rough.
@0: Anne is cold.[(triple1 OR ((((triple3) -> rule8) triple2) -> rule6))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple4) -> rule4))] Bob is not big.[(triple6)] Bob is not cold.[(triple7)] Bob is rough.[(triple8)] Bob is smart.[(triple9)] Bob is white.[(triple10 OR ((triple9) -> rule4))] Charlie is big.[(triple11 OR ((triple13) -> rule8) OR ((((triple15 triple14) -> rule2)) -> rule8))] Charlie is green.[(triple12)] Charlie is kind.[(triple13 OR ((triple15 triple11) -> rule1) OR ((triple15 triple14) -> rule2))] Charlie is not rough.[(triple14)] Charlie is smart.[(triple15)] @1: Anne is big.[(((triple3) -> rule8))] Charlie is cold.[(((triple11 triple12) -> rule6) OR ((((triple13) -> rule8) triple12) -> rule6) OR ((((((triple15 triple14) -> rule2)) -> rule8) triple12) -> rule6))] Charlie is white.[(((triple15) -> rule4))]