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