Charlie is furry. Charlie is kind. Charlie is rough. Charlie is white. Charlie is young. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Gary is furry. Gary is quiet. Gary is rough. Gary is white. Gary is young. If something is kind then it is rough. All quiet, rough things are round.
Charlie is quiet.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule1))] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9 OR ((triple7) -> rule1))] Fiona is round.[(triple10 OR ((triple8 triple9) -> rule2) OR ((triple8 ((triple7) -> rule1)) -> rule2))] Fiona is white.[(triple11)] Gary is furry.[(triple12)] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] Gary is white.[(triple15)] Gary is young.[(triple16)] @1: Gary is round.[(((triple13 triple14) -> rule2))]