Charlie is big. Charlie is nice. Charlie is not quiet. Charlie is red. Erin is big. Erin is blue. Erin is nice. Fiona is nice. Fiona is not quiet. Harry is big. Harry is blue. Harry is furry. Harry is not nice. Harry is quiet. Harry is red. Harry is smart. All smart people are quiet. All quiet people are furry.
Erin is not quiet.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is red.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is nice.[(triple7)] Fiona is nice.[(triple8)] Fiona is not quiet.[(triple9)] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12 OR ((triple14) -> rule2) OR ((((triple16) -> rule1)) -> rule2))] Harry is not nice.[(triple13)] Harry is quiet.[(triple14 OR ((triple16) -> rule1))] Harry is red.[(triple15)] Harry is smart.[(triple16)]