Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is white. If someone is white then they are red. If someone is red then they are furry.
Charlie is not white.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4 OR ((triple5) -> rule1))] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13 OR ((triple14) -> rule2) OR ((((triple15) -> rule1)) -> rule2))] Gary is red.[(triple14 OR ((triple15) -> rule1))] Gary is white.[(triple15)] @1: Charlie is furry.[(((triple4) -> rule2) OR ((((triple5) -> rule1)) -> rule2))]