Fiona is big. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is white. Gary is big. Gary is not furry. Gary is kind. Gary is quiet. Gary is round. Gary is smart. Gary is white. Big people are smart.
Fiona is not furry.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((triple1) -> rule1))] Fiona is white.[(triple7)] Gary is big.[(triple8)] Gary is kind.[(triple10)] Gary is not furry.[(triple9)] Gary is quiet.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13 OR ((triple8) -> rule1))] Gary is white.[(triple14)]