Charlie is cold. Charlie is not kind. Charlie is quiet. Charlie is red. Fiona is not nice. Fiona is red. Gary is nice. Gary is quiet. Gary is red. Gary is young. Cold people are not nice. If someone is nice then they are quiet. If Charlie is young then Charlie is not red. All big, cold people are young. If Charlie is young and Charlie is not quiet then Charlie is kind. If someone is quiet and not young then they are kind.
Fiona is big.
@0: Charlie is cold.[(triple1)] Charlie is not kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Fiona is not nice.[(triple5)] Fiona is red.[(triple6)] Gary is nice.[(triple7)] Gary is quiet.[(triple8 OR ((triple7) -> rule2))] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Charlie is not nice.[(((triple1) -> rule1))]