Bob is not kind. Bob is quiet. Bob is red. Bob is round. Dave is kind. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is young. If something is quiet then it is not nice. All quiet things are not kind.
Dave is not young.
@0: Bob is not kind.[(triple1 OR ((triple2) -> rule2))] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] @1: Bob is not nice.[(((triple2) -> rule1))]