Anne is not big. Anne is not blue. Anne is not furry. Anne is nice. Anne is not quiet. Anne is not round. Anne is young. Harry is big. Harry is not blue. Harry is furry. Harry is nice. Harry is quiet. Harry is round. Harry is young. If something is nice and blue then it is quiet. If something is quiet and nice then it is young. If Harry is young and Harry is nice then Harry is quiet. If something is young then it is nice. If something is furry then it is nice. All blue things are round. If something is blue and not big then it is round. If Harry is not young then Harry is round.
Harry is not big.
@0: Anne is nice.[(triple4 OR ((triple7) -> rule4))] Anne is not big.[(triple1)] Anne is not blue.[(triple2)] Anne is not furry.[(triple3)] Anne is not quiet.[(triple5)] Anne is not round.[(triple6)] Anne is young.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple10)] Harry is nice.[(triple11 OR ((triple10) -> rule5) OR ((triple14) -> rule4))] Harry is not blue.[(triple9)] Harry is quiet.[(triple12 OR ((triple14 triple11) -> rule3) OR ((triple14 ((triple10) -> rule5)) -> rule3) OR ((triple14 ((triple14) -> rule4)) -> rule3))] Harry is round.[(triple13)] Harry is young.[(triple14 OR ((triple12 triple11) -> rule2) OR ((triple12 ((triple10) -> rule5)) -> rule2))]