Charlie is big. Harry is big. Harry is red. Kind, young people are smart. All furry, big people are kind. If someone is red then they are big.
Harry is big.
@0: Charlie is big.[(triple1)] Harry is big.[(triple2 OR ((triple3) -> rule3))] Harry is red.[(triple3)]