Fiona is green. Fiona is nice. Fiona is young. White things are young. If something is young and green then it is white. If Fiona is blue and Fiona is smart then Fiona is young. If something is smart and blue then it is round. If something is green and nice then it is white. If Fiona is green then Fiona is nice. Green, blue things are round. If Fiona is round then Fiona is blue.
Fiona is smart.
@0: Fiona is green.[(triple1)] Fiona is nice.[(triple2 OR ((triple1) -> rule6))] Fiona is young.[(triple3 OR ((((triple1 triple2) -> rule5)) -> rule1) OR ((((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1))] @1: Fiona is white.[(((triple1 triple2) -> rule5) OR ((triple3 triple1) -> rule2) OR ((triple1 ((triple1) -> rule6)) -> rule5))]