Fiona is blue. Fiona is cold. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. All blue things are cold. Red, smart things are rough. Young, red things are cold.
Fiona is blue.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2 OR ((triple1) -> rule1) OR ((triple7 triple3) -> rule3))] Fiona is red.[(triple3)] Fiona is rough.[(triple4 OR ((triple3 triple5) -> rule2))] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]