Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. If someone is green then they are red. Red, nice people are cold.
Fiona is nice.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2 OR ((triple6 triple5) -> rule2) OR ((((triple3) -> rule1) triple5) -> rule2))] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6 OR ((triple3) -> rule1))] Fiona is rough.[(triple7)]