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