Fiona is big. Fiona is not cold. Fiona is furry. Fiona is not kind. Fiona is not nice. Fiona is round. Fiona is young. Gary is not big. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is not round. Gary is young. If Fiona is kind then Fiona is nice. If something is kind then it is furry.
Gary is not round.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple3)] Fiona is not cold.[(triple2)] Fiona is not kind.[(triple4)] Fiona is not nice.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Gary is cold.[(triple9)] Gary is furry.[(triple10 OR ((triple11) -> rule2))] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is not big.[(triple8)] Gary is not round.[(triple13)] Gary is young.[(triple14)]