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