Anne is cold. Anne is nice. Anne is young. Charlie is big. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Gary is big. Gary is cold. Gary is kind. Gary is nice. Gary is smart. Gary is young. White things are smart. If something is nice and kind then it is young. If something is white then it is kind. If something is white and not smart then it is kind. Nice, big things are cold. Kind things are cold. If something is big and not young then it is not cold. If Anne is cold and Anne is not kind then Anne is not big.
Charlie is not white.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5 OR ((triple6) -> rule6) OR ((triple7 triple4) -> rule5) OR ((((triple9) -> rule3)) -> rule6))] Charlie is kind.[(triple6 OR ((triple9) -> rule3))] Charlie is nice.[(triple7)] Charlie is smart.[(triple8 OR ((triple9) -> rule1))] Charlie is white.[(triple9)] Charlie is young.[(triple10 OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple9) -> rule3)) -> rule2))] Gary is big.[(triple11)] Gary is cold.[(triple12 OR ((triple13) -> rule6) OR ((triple14 triple11) -> rule5))] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16 OR ((triple14 triple13) -> rule2))]