Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is round. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is rough. Gary is round. Gary is white. All big, blue people are white. If someone is rough then they are round.
Fiona is big.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule2))] Fiona is white.[(triple7 OR ((triple1 triple2) -> rule1))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13 OR ((triple12) -> rule2))] Gary is white.[(triple14 OR ((triple8 triple9) -> rule1))]