Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is young. Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is round. Bob is smart. Bob is young. All quiet, red people are young. If someone is quiet then they are young. If Anne is red then Anne is quiet. If someone is quiet and not young then they are not round. If someone is green and not young then they are furry. If Bob is furry and Bob is not green then Bob is not smart.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule3))] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple3) -> rule2) OR ((triple3 triple4) -> rule1) OR ((((triple4) -> rule3)) -> rule2) OR ((((triple4) -> rule3) triple4) -> rule1))] Bob is furry.[(triple8)] Bob is green.[(triple9)] Bob is quiet.[(triple10)] Bob is red.[(triple11)] Bob is round.[(triple12)] Bob is smart.[(triple13)] Bob is young.[(triple14 OR ((triple10) -> rule2) OR ((triple10 triple11) -> rule1))]