Bob is blue. Bob is smart. Charlie is not cold. Charlie is green. Charlie is not nice. Dave is cold. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is not smart. If Bob is blue then Bob is white. If something is red and cold then it is green. If something is red and green then it is white. All green, blue things are white. All red, smart things are nice. Blue, nice things are cold. All white, smart things are red. If Dave is nice then Dave is cold.
Dave is not cold.
@0: Bob is blue.[(triple1)] Bob is smart.[(triple2)] Charlie is green.[(triple4)] Charlie is not cold.[(triple3)] Charlie is not nice.[(triple5)] Dave is cold.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8 OR ((triple7 triple10) -> rule6))] Gary is green.[(triple9 OR ((triple11 triple8) -> rule2) OR ((triple11 ((triple7 triple10) -> rule6)) -> rule2))] Gary is nice.[(triple10)] Gary is not smart.[(triple12)] Gary is red.[(triple11)] @1: Bob is white.[(((triple1) -> rule1))] Gary is white.[(((triple11 triple9) -> rule3) OR ((triple9 triple7) -> rule4) OR ((triple11 ((triple11 triple8) -> rule2)) -> rule3) OR ((((triple11 triple8) -> rule2) triple7) -> rule4) OR ((triple11 ((triple11 ((triple7 triple10) -> rule6)) -> rule2)) -> rule3) OR ((((triple11 ((triple7 triple10) -> rule6)) -> rule2) triple7) -> rule4))] @2: Bob is red.[(((((triple1) -> rule1) triple2) -> rule7))] @3: Bob is nice.[(((((((triple1) -> rule1) triple2) -> rule7) triple2) -> rule5))] @4: Bob is cold.[(((triple1 ((((((triple1) -> rule1) triple2) -> rule7) triple2) -> rule5)) -> rule6))] @5: Bob is green.[(((((((triple1) -> rule1) triple2) -> rule7) ((triple1 ((((((triple1) -> rule1) triple2) -> rule7) triple2) -> rule5)) -> rule6)) -> rule2))]