Harry is big. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is white. Harry is young. All red, young people are cold. If Harry is young and Harry is nice then Harry is cold.
Harry is not big.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2 OR ((triple4 triple7) -> rule1) OR ((triple7 triple3) -> rule2))] Harry is nice.[(triple3)] Harry is red.[(triple4)] Harry is rough.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)]