Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. If something is kind and cold then it is red. All rough, cold things are blue. All quiet, rough things are blue. If something is kind then it is red. Young things are blue. All rough things are red.
Fiona is cold.
@0: Fiona is blue.[(triple1 OR ((triple7) -> rule5) OR ((triple4 triple6) -> rule3) OR ((triple6 triple2) -> rule2))] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5 OR ((triple3) -> rule4) OR ((triple6) -> rule6) OR ((triple3 triple2) -> rule1))] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]