Harry is big. Harry is cold. Harry is nice. Harry is red. Harry is round. Harry is not smart. Harry is young. If Harry is nice then Harry is round. All young people are round. If someone is big and not cold then they are not round. Cold, round people are nice. Cold, round people are nice. If Harry is cold and Harry is smart then Harry is not big.
Harry is not young.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is nice.[(triple3 OR ((triple2 triple5) -> rule4) OR ((triple2 triple5) -> rule5) OR ((triple2 ((triple7) -> rule2)) -> rule4) OR ((triple2 ((triple7) -> rule2)) -> rule5))] Harry is not smart.[(triple6)] Harry is red.[(triple4)] Harry is round.[(triple5 OR ((triple3) -> rule1) OR ((triple7) -> rule2))] Harry is young.[(triple7)]