Anne is red. Bob is green. Bob is red. Bob is round. Erin is green. Fiona is green. Fiona is quiet. Fiona is not red. Fiona is round. Fiona is smart. All green, quiet people are round. If someone is smart and not round then they are not young.
Fiona is not green.
@0: Anne is red.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Erin is green.[(triple5)] Fiona is green.[(triple6)] Fiona is not red.[(triple8)] Fiona is quiet.[(triple7)] Fiona is round.[(triple9 OR ((triple6 triple7) -> rule1))] Fiona is smart.[(triple10)]