Charlie is big. Charlie is blue. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. Dave is big. Dave is red. Dave is young. Erin is big. Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is young. All nice, blue things are big. Nice things are rough. If Erin is rough then Erin is smart.
Dave is nice.
@0: Charlie is big.[(triple1 OR ((triple3 triple2) -> rule1))] Charlie is blue.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple3) -> rule2))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Dave is big.[(triple8)] Dave is red.[(triple9)] Dave is young.[(triple10)] Erin is big.[(triple11 OR ((triple13 triple12) -> rule1))] Erin is blue.[(triple12)] Erin is nice.[(triple13)] Erin is red.[(triple14)] Erin is rough.[(triple15 OR ((triple13) -> rule2))] Erin is young.[(triple16)] @1: Erin is smart.[(((triple15) -> rule3) OR ((((triple13) -> rule2)) -> rule3))]