Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is round. Fiona is white. Fiona is young. Gary is not big. Gary is blue. Gary is kind. Gary is nice. Gary is not round. Gary is white. Gary is young. Blue, white things are kind.
Gary is not nice.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3 OR ((triple2 triple6) -> rule1))] Fiona is nice.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is blue.[(triple9)] Gary is kind.[(triple10 OR ((triple9 triple13) -> rule1))] Gary is nice.[(triple11)] Gary is not big.[(triple8)] Gary is not round.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14)]