Charlie is big. Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is white. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is red. Gary is smart. Gary is not white. If Gary is furry and Gary is red then Gary is smart. All kind things are furry. If Charlie is cold then Charlie is smart. If Gary is furry and Gary is red then Gary is kind. If Charlie is not white and Charlie is not cold then Charlie is not furry. If Gary is not big then Gary is white. If something is red and not white then it is smart. If Gary is big and Gary is not white then Gary is cold.
Charlie is not white.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple3 OR ((triple4) -> rule2))] Charlie is kind.[(triple4)] Charlie is not cold.[(triple2)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple8 triple14) -> rule8))] Gary is furry.[(triple10 OR ((triple11) -> rule2))] Gary is kind.[(triple11 OR ((triple10 triple12) -> rule4))] Gary is not white.[(triple14)] Gary is red.[(triple12)] Gary is smart.[(triple13 OR ((triple10 triple12) -> rule1) OR ((triple12 triple14) -> rule7) OR ((((triple11) -> rule2) triple12) -> rule1))]