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