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