Fiona is blue. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If Fiona is smart then Fiona is red. If Fiona is smart and Fiona is not white then Fiona is not red. Round things are blue. If something is red then it is blue. If something is blue and smart then it is young. If something is red and not blue then it is green. If something is white then it is green. All round, smart things are green.
Fiona is young.
@0: Fiona is blue.[(triple1 OR ((triple3) -> rule4) OR ((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule4))] Fiona is green.[(triple2 OR ((triple6) -> rule7) OR ((triple4 triple5) -> rule8))] Fiona is red.[(triple3 OR ((triple5) -> rule1))] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple1 triple5) -> rule5) OR ((((triple3) -> rule4) triple5) -> rule5) OR ((((triple4) -> rule3) triple5) -> rule5) OR ((((((triple5) -> rule1)) -> rule4) triple5) -> rule5))]