Bob is blue. Bob is kind. Bob is quiet. Bob is red. Bob is not round. Bob is smart. Bob is young. Dave is blue. Dave is not kind. Dave is quiet. Dave is red. Dave is round. Dave is not smart. Dave is not young. If Bob is kind then Bob is red. If Bob is not quiet then Bob is not round. All round, kind things are smart. Kind things are blue. If Dave is quiet and Dave is young then Dave is not kind. If Dave is young then Dave is not quiet.
Dave is not kind.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule4))] Bob is kind.[(triple2)] Bob is not round.[(triple5)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple2) -> rule1))] Bob is smart.[(triple6)] Bob is young.[(triple7)] Dave is blue.[(triple8)] Dave is not kind.[(triple9)] Dave is not smart.[(triple13)] Dave is not young.[(triple14)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is round.[(triple12)]