Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is young. Kind people are red. If Erin is young then Erin is red.
Charlie is rough.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple3) -> rule1))] Charlie is rough.[(triple6)] Charlie is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12 OR ((triple10) -> rule1) OR ((triple14) -> rule2))] Erin is rough.[(triple13)] Erin is young.[(triple14)]