Fiona is big. Fiona is cold. Fiona is not furry. Fiona is quiet. Fiona is rough. Fiona is young. Gary is cold. Gary is furry. Gary is quiet. Gary is not rough. Gary is round. Gary is not young. If Fiona is young and Fiona is not quiet then Fiona is rough. Round, big people are young. If someone is big then they are young.
Fiona is rough.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is not furry.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is young.[(triple6 OR ((triple1) -> rule3))] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is not rough.[(triple10)] Gary is not young.[(triple12)] Gary is quiet.[(triple9)] Gary is round.[(triple11)]