Erin is big. Erin is blue. Erin is red. Harry is not big. Harry is blue. Harry is rough. Harry is smart. If someone is quiet and not red then they are big. All red people are big. Red, blue people are quiet.
Harry is not blue.
@0: Erin is big.[(triple1 OR ((triple3) -> rule2))] Erin is blue.[(triple2)] Erin is red.[(triple3)] Harry is blue.[(triple5)] Harry is not big.[(triple4)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Erin is quiet.[(((triple3 triple2) -> rule3))]