Bob is nice. Bob is not red. Bob is smart. Bob is white. Fiona is furry. Fiona is red. Fiona is white. Gary is blue. Gary is furry. Gary is not kind. Gary is red. Gary is smart. Gary is white. Harry is kind. Harry is red. Harry is not smart. If Harry is kind and Harry is red then Harry is not nice. If Gary is not nice then Gary is kind. If Harry is not kind and Harry is not red then Harry is furry. If something is red and not nice then it is blue. If something is furry and nice then it is not white. Blue things are white. If Bob is kind then Bob is not white. If Bob is not blue then Bob is kind.
Bob is not kind.
@0: Bob is nice.[(triple1)] Bob is not red.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4)] Fiona is furry.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is not kind.[(triple10)] Gary is red.[(triple11)] Gary is smart.[(triple12)] Gary is white.[(triple13 OR ((triple8) -> rule6))] Harry is kind.[(triple14)] Harry is not smart.[(triple16)] Harry is red.[(triple15)] @1: Harry is not nice.[(((triple14 triple15) -> rule1))] @2: Harry is blue.[(((triple15 ((triple14 triple15) -> rule1)) -> rule4))] @3: Harry is white.[(((((triple15 ((triple14 triple15) -> rule1)) -> rule4)) -> rule6))]