Erin is smart. Harry is blue. Harry is green. If something is big and nice then it is blue. If something is big and kind then it is blue. Kind things are nice. All big things are smart. Green things are blue. All green, smart things are red.
Erin is not smart.
@0: Erin is smart.[(triple1)] Harry is blue.[(triple2 OR ((triple3) -> rule5))] Harry is green.[(triple3)]