Harry is big. Harry is red. Harry is rough. All kind people are rough. All red, nice people are rough. If someone is kind then they are blue. All kind, nice people are red. If Harry is red then Harry is blue. If Harry is kind and Harry is red then Harry is rough. All cold, red people are rough. If Harry is nice then Harry is cold.
Harry is not big.
@0: Harry is big.[(triple1)] Harry is red.[(triple2)] Harry is rough.[(triple3)] @1: Harry is blue.[(((triple2) -> rule5))]