Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is round. Fiona is smart. Fiona is young. Smart, young people are round. All kind people are round. If Fiona is smart then Fiona is kind. If someone is cold and green then they are kind. If someone is young then they are round. Smart, round people are blue.
Fiona is not young.
@0: Fiona is blue.[(triple1 OR ((triple6 triple5) -> rule6) OR ((triple6 ((triple4) -> rule2)) -> rule6) OR ((triple6 ((triple7) -> rule5)) -> rule6) OR ((triple6 ((triple6 triple7) -> rule1)) -> rule6) OR ((triple6 ((((triple6) -> rule3)) -> rule2)) -> rule6) OR ((triple6 ((((triple2 triple3) -> rule4)) -> rule2)) -> rule6))] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4 OR ((triple6) -> rule3) OR ((triple2 triple3) -> rule4))] Fiona is round.[(triple5 OR ((triple4) -> rule2) OR ((triple7) -> rule5) OR ((triple6 triple7) -> rule1) OR ((((triple6) -> rule3)) -> rule2) OR ((((triple2 triple3) -> rule4)) -> rule2))] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]