Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is round. Blue, cold things are round. All rough, big things are cold.
Fiona is round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3 OR ((triple6 triple1) -> rule2))] Fiona is green.[(triple4)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is round.[(triple7 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple6 triple1) -> rule2)) -> rule1))]