Erin is green. Harry is big. Harry is kind. Green, white things are nice. If something is kind then it is big. White, nice things are green. If Harry is young and Harry is green then Harry is big. All nice, kind things are white. If something is big and young then it is green.
Harry is big.
@0: Erin is green.[(triple1)] Harry is big.[(triple2 OR ((triple3) -> rule2))] Harry is kind.[(triple3)]