Anne is blue. Anne is not furry. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is young. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is round. Bob is not smart. Bob is not young. Young things are quiet. If something is young then it is smart. If something is red then it is round.
Bob is not blue.
@0: Anne is blue.[(triple1)] Anne is not furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple7) -> rule1))] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple4) -> rule3))] Anne is smart.[(triple6 OR ((triple7) -> rule2))] Anne is young.[(triple7)] Bob is blue.[(triple8)] Bob is furry.[(triple9)] Bob is not smart.[(triple13)] Bob is not young.[(triple14)] Bob is quiet.[(triple10)] Bob is red.[(triple11)] Bob is round.[(triple12 OR ((triple11) -> rule3))]