Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is young. If Harry is quiet and Harry is young then Harry is blue. If someone is kind and not blue then they are round. If Harry is round and Harry is not quiet then Harry is big. If Harry is nice and Harry is blue then Harry is big. Quiet, young people are nice. If someone is round then they are nice.
Harry is not round.
@0: Harry is big.[(triple1 OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple5 triple7) -> rule1)) -> rule4) OR ((((triple6) -> rule6) triple2) -> rule4) OR ((((triple5 triple7) -> rule5) triple2) -> rule4) OR ((((triple6) -> rule6) ((triple5 triple7) -> rule1)) -> rule4) OR ((((triple5 triple7) -> rule5) ((triple5 triple7) -> rule1)) -> rule4))] Harry is blue.[(triple2 OR ((triple5 triple7) -> rule1))] Harry is kind.[(triple3)] Harry is nice.[(triple4 OR ((triple6) -> rule6) OR ((triple5 triple7) -> rule5))] Harry is quiet.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7)]