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