Charlie is big. Charlie is green. Erin is big. Erin is green. Erin is not quiet. Erin is smart. Harry is big. Harry is green. Harry is nice. Harry is rough. Harry is round. Harry is smart. All quiet people are nice. If someone is quiet then they are nice. All nice, rough people are round. Big people are round. If Harry is green then Harry is big. If Erin is big then Erin is smart.
Harry is nice.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Erin is big.[(triple3)] Erin is green.[(triple4)] Erin is not quiet.[(triple5)] Erin is smart.[(triple6 OR ((triple3) -> rule6))] Harry is big.[(triple7 OR ((triple8) -> rule5))] Harry is green.[(triple8)] Harry is nice.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11 OR ((triple7) -> rule4) OR ((triple9 triple10) -> rule3) OR ((((triple8) -> rule5)) -> rule4))] Harry is smart.[(triple12)] @1: Charlie is round.[(((triple1) -> rule4))] Erin is round.[(((triple3) -> rule4))]