Fiona is blue. Fiona is cold. Fiona is green. Fiona is not nice. Fiona is red. Fiona is rough. Fiona is smart. If Fiona is cold then Fiona is red. If Fiona is green then Fiona is blue. All rough, red things are green. Smart, nice things are not blue. All smart, nice things are rough. If Fiona is not smart then Fiona is rough.
Fiona is rough.
@0: Fiona is blue.[(triple1 OR ((triple3) -> rule2) OR ((((triple6 triple5) -> rule3)) -> rule2) OR ((((triple6 ((triple2) -> rule1)) -> rule3)) -> rule2))] Fiona is cold.[(triple2)] Fiona is green.[(triple3 OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple2) -> rule1)) -> rule3))] Fiona is not nice.[(triple4)] Fiona is red.[(triple5 OR ((triple2) -> rule1))] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)]