Fiona is big. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. If Fiona is white and Fiona is round then Fiona is nice. If someone is nice and cold then they are young.
Fiona is rough.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is nice.[(triple3 OR ((triple6 triple5) -> rule1))] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple3 triple2) -> rule2) OR ((((triple6 triple5) -> rule1) triple2) -> rule2))]