Bob is blue. Bob is green. Bob is red. Dave is big. Dave is cold. Dave is not white. Dave is young. Gary is big. Gary is blue. Gary is cold. Gary is white. Gary is young. If something is big and not young then it is green. If something is green and not blue then it is big. If something is big then it is not red. If something is big and green then it is red. If something is young and not green then it is cold. If Dave is not big and Dave is not young then Dave is not red. All green things are white. All cold, blue things are white.
Dave is cold.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is not white.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is white.[(triple11 OR ((triple10 triple9) -> rule8))] Gary is young.[(triple12)] @1: Bob is white.[(((triple2) -> rule7))] Dave is not red.[(((triple4) -> rule3))] Gary is not red.[(((triple8) -> rule3))]