Bob is blue. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Gary is blue. Gary is nice. Harry is green. Harry is smart. If Dave is kind then Dave is nice. If Bob is green then Bob is kind. If Gary is nice then Gary is green. If Harry is green then Harry is quiet. Red people are blue. If Harry is green and Harry is nice then Harry is quiet. If Harry is quiet then Harry is green. If Bob is red and Bob is kind then Bob is quiet.
Dave is kind.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule5))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple5 triple2) -> rule8))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8 OR ((triple7) -> rule1))] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is smart.[(triple11)] Gary is blue.[(triple12)] Gary is nice.[(triple13)] Harry is green.[(triple14)] Harry is smart.[(triple15)] @1: Dave is blue.[(((triple10) -> rule5))] Gary is green.[(((triple13) -> rule3))] Harry is quiet.[(((triple14) -> rule4))]