Charlie is big. Charlie is furry. Charlie is red. Charlie is young. Dave is furry. Dave is rough. Erin is kind. Erin is rough. Erin is not young. Fiona is big. Fiona is not kind. Fiona is young. Young things are furry. If something is kind and not furry then it is not big. If something is kind and not big then it is smart.
Dave is red.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule1))] Charlie is red.[(triple3)] Charlie is young.[(triple4)] Dave is furry.[(triple5)] Dave is rough.[(triple6)] Erin is kind.[(triple7)] Erin is not young.[(triple9)] Erin is rough.[(triple8)] Fiona is big.[(triple10)] Fiona is not kind.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is furry.[(((triple12) -> rule1))]