Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. Gary is big. Gary is not green. Gary is not kind. Gary is not nice. Gary is rough. Gary is round. Gary is white. If something is nice then it is rough. All kind, nice things are rough.
Gary is rough.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is rough.[(triple5 OR ((triple4) -> rule1) OR ((triple3 triple4) -> rule2))] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Gary is big.[(triple8)] Gary is not green.[(triple9)] Gary is not kind.[(triple10)] Gary is not nice.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)]