Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Gary is green. Gary is quiet. Gary is red. Gary is round. If Charlie is furry then Charlie is rough. Rough things are green. If something is round and furry then it is kind.
Fiona is kind.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3 OR ((triple1) -> rule1))] Charlie is round.[(triple4)] Fiona is kind.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Gary is green.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Charlie is green.[(((triple3) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Charlie is kind.[(((triple4 triple1) -> rule3))] Fiona is green.[(((triple7) -> rule2))]