Harry is big. Harry is cold. Harry is furry. Harry is quiet. Harry is red. Harry is rough. Harry is smart. If something is rough then it is cold. All red things are rough.
Harry is not big.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2 OR ((triple6) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Harry is furry.[(triple3)] Harry is quiet.[(triple4)] Harry is red.[(triple5)] Harry is rough.[(triple6 OR ((triple5) -> rule2))] Harry is smart.[(triple7)]