Charlie is blue. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. All blue, smart people are furry. Young people are smart.
Fiona is not rough.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple7) -> rule2)) -> rule1))] Charlie is kind.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple7) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9 OR ((triple8 triple12) -> rule1) OR ((triple8 ((triple14) -> rule2)) -> rule1))] Fiona is kind.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple14) -> rule2))] Fiona is white.[(triple13)] Fiona is young.[(triple14)]