Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Blue, cold things are round. If something is nice and kind then it is smart.
Fiona is nice.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is round.[(triple6 OR ((triple2 triple3) -> rule1))] Fiona is smart.[(triple7 OR ((triple5 triple4) -> rule2))]