Anne is cold. Anne is not kind. Anne is quiet. Anne is red. Anne is rough. Anne is not white. Anne is young. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. If Charlie is young and Charlie is quiet then Charlie is kind. If Charlie is young and Charlie is white then Charlie is quiet. Kind things are rough. If something is white and quiet then it is rough. All rough things are quiet. If something is red and kind then it is young. If something is red and not quiet then it is cold. If something is young then it is cold.
Anne is not cold.
@0: Anne is cold.[(triple1 OR ((triple7) -> rule8))] Anne is not kind.[(triple2)] Anne is not white.[(triple6)] Anne is quiet.[(triple3 OR ((triple5) -> rule5))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple7)] Charlie is cold.[(triple8 OR ((triple14) -> rule8) OR ((((triple11 triple9) -> rule6)) -> rule8))] Charlie is kind.[(triple9 OR ((triple14 triple10) -> rule1) OR ((triple14 ((triple12) -> rule5)) -> rule1) OR ((triple14 ((triple14 triple13) -> rule2)) -> rule1))] Charlie is quiet.[(triple10 OR ((triple12) -> rule5) OR ((triple14 triple13) -> rule2) OR ((((triple9) -> rule3)) -> rule5) OR ((((triple11 triple9) -> rule6) triple13) -> rule2))] Charlie is red.[(triple11)] Charlie is rough.[(triple12 OR ((triple9) -> rule3) OR ((triple13 triple10) -> rule4) OR ((((triple14 triple10) -> rule1)) -> rule3) OR ((triple13 ((triple14 triple13) -> rule2)) -> rule4) OR ((((triple14 ((triple14 triple13) -> rule2)) -> rule1)) -> rule3) OR ((triple13 ((((triple11 triple9) -> rule6) triple13) -> rule2)) -> rule4))] Charlie is white.[(triple13)] Charlie is young.[(triple14 OR ((triple11 triple9) -> rule6))]