Charlie is big. Charlie is green. Charlie is not nice. Charlie is not rough. Charlie is round. Charlie is smart. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Gary is furry. Gary is not green. Gary is nice. Gary is rough. Gary is not round. If someone is big and not rough then they are furry. Big, rough people are nice.
Gary is big.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not rough.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Fiona is nice.[(triple7)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple13)] Gary is not green.[(triple12)] Gary is not round.[(triple15)] Gary is rough.[(triple14)] @1: Charlie is furry.[(((triple1 triple4) -> rule1))]