Harry is big. Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Blue, green people are round. If Harry is kind then Harry is big. All big people are quiet. If Harry is blue and Harry is kind then Harry is green. All smart, big people are round. If Harry is smart then Harry is kind.
Harry is round.
@0: Harry is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] Harry is blue.[(triple2)] Harry is green.[(triple3 OR ((triple2 triple4) -> rule4) OR ((triple2 ((triple7) -> rule6)) -> rule4))] Harry is kind.[(triple4 OR ((triple7) -> rule6))] Harry is quiet.[(triple5 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple7) -> rule6)) -> rule2)) -> rule3))] Harry is round.[(triple6 OR ((triple2 triple3) -> rule1) OR ((triple7 triple1) -> rule5) OR ((triple2 ((triple2 triple4) -> rule4)) -> rule1) OR ((triple7 ((triple4) -> rule2)) -> rule5) OR ((triple2 ((triple2 ((triple7) -> rule6)) -> rule4)) -> rule1) OR ((triple7 ((((triple7) -> rule6)) -> rule2)) -> rule5))] Harry is smart.[(triple7)]