Charlie is big. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Erin is kind. Erin is nice. Erin is young. Harry is nice. Harry is rough. All round, red people are young. All red people are rough. If Harry is young and Harry is red then Harry is kind. If Charlie is kind and Charlie is round then Charlie is rough. All red people are big. If Harry is big then Harry is red.
Erin is red.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule5))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple4) -> rule2) OR ((triple2 triple6) -> rule4))] Charlie is round.[(triple6)] Charlie is young.[(triple7 OR ((triple6 triple4) -> rule1))] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is young.[(triple10)] Harry is nice.[(triple11)] Harry is rough.[(triple12)]