Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Fiona is white. Fiona is young. Nice, kind things are round. If Fiona is young and Fiona is white then Fiona is nice. If something is cold and green then it is kind.
Fiona is not round.
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple2)] Fiona is kind.[(triple3 OR ((triple1 triple2) -> rule3))] Fiona is nice.[(triple4 OR ((triple7 triple6) -> rule2))] Fiona is round.[(triple5 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple1 triple2) -> rule3)) -> rule1) OR ((((triple7 triple6) -> rule2) triple3) -> rule1) OR ((((triple7 triple6) -> rule2) ((triple1 triple2) -> rule3)) -> rule1))] Fiona is white.[(triple6)] Fiona is young.[(triple7)]