Dave is cold. Dave is kind. Dave is not nice. Dave is quiet. Dave is smart. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. Gary is white. Gary is young. If something is smart and white then it is kind. If something is young then it is smart. All quiet things are smart. All kind, white things are cold. All white, cold things are young. If Dave is nice and Dave is young then Dave is not white.
Gary is not kind.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is not nice.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5 OR ((triple4) -> rule3))] Gary is cold.[(triple6 OR ((triple7 triple11) -> rule4) OR ((((triple10 triple11) -> rule1) triple11) -> rule4) OR ((((((triple12) -> rule2) triple11) -> rule1) triple11) -> rule4) OR ((((((triple9) -> rule3) triple11) -> rule1) triple11) -> rule4))] Gary is kind.[(triple7 OR ((triple10 triple11) -> rule1) OR ((((triple12) -> rule2) triple11) -> rule1) OR ((((triple9) -> rule3) triple11) -> rule1) OR ((((((triple11 triple6) -> rule5)) -> rule2) triple11) -> rule1))] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is smart.[(triple10 OR ((triple12) -> rule2) OR ((triple9) -> rule3) OR ((((triple11 triple6) -> rule5)) -> rule2) OR ((((triple11 ((triple7 triple11) -> rule4)) -> rule5)) -> rule2))] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple11 triple6) -> rule5) OR ((triple11 ((triple7 triple11) -> rule4)) -> rule5) OR ((triple11 ((((triple10 triple11) -> rule1) triple11) -> rule4)) -> rule5) OR ((triple11 ((((((triple9) -> rule3) triple11) -> rule1) triple11) -> rule4)) -> rule5))]