Fiona is blue. Fiona is not cold. Fiona is nice. If Fiona is rough then Fiona is cold. If Fiona is rough then Fiona is cold. Green things are rough. If something is nice and not cold then it is blue. Nice, big things are smart. Nice things are smart. If something is rough and not cold then it is nice. Green things are nice.
Fiona is not smart.
@0: Fiona is blue.[(triple1 OR ((triple3 triple2) -> rule4))] Fiona is nice.[(triple3)] Fiona is not cold.[(triple2)] @1: Fiona is smart.[(((triple3) -> rule6))]