Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is young. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is round. Gary is kind. Gary is rough. Gary is round. Gary is young. If Fiona is round and Fiona is young then Fiona is cold. All rough, quiet people are round.
Charlie is not round.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] Charlie is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8 OR ((triple7 triple6) -> rule2))] Gary is kind.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)]