Harry is big. Harry is blue. Harry is not cold. Harry is quiet. Harry is red. Harry is smart. Harry is young. If something is cold then it is big. If something is big then it is smart. If something is big and not cold then it is smart. If something is quiet and not young then it is not smart. Big, smart things are quiet. If something is big and not young then it is not quiet. If something is quiet and not young then it is red. If something is cold and not big then it is not red.
Harry is not quiet.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2)] Harry is not cold.[(triple3)] Harry is quiet.[(triple4 OR ((triple1 triple6) -> rule5) OR ((triple1 ((triple1) -> rule2)) -> rule5) OR ((triple1 ((triple1 triple3) -> rule3)) -> rule5))] Harry is red.[(triple5)] Harry is smart.[(triple6 OR ((triple1) -> rule2) OR ((triple1 triple3) -> rule3))] Harry is young.[(triple7)]