Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is not nice. Harry is red. Harry is young. All young things are blue. If something is cold and not red then it is blue.
Harry is not young.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2 OR ((triple7) -> rule1))] Harry is cold.[(triple3)] Harry is kind.[(triple4)] Harry is not nice.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7)]