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