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