Erin is blue. Erin is quiet. Erin is red. Erin is not round. Fiona is blue. Fiona is red. Fiona is round. If someone is red then they are rough. If someone is nice then they are young. If someone is rough then they are young. All red people are young. If someone is nice and blue then they are quiet. If someone is round and not red then they are quiet. If Fiona is red then Fiona is round. If Erin is rough then Erin is quiet.
Erin is not blue.
@0: Erin is blue.[(triple1)] Erin is not round.[(triple4)] Erin is quiet.[(triple2 OR ((((triple3) -> rule1)) -> rule8))] Erin is red.[(triple3)] Fiona is blue.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7 OR ((triple6) -> rule7))] @1: Erin is rough.[(((triple3) -> rule1))] Erin is young.[(((triple3) -> rule4) OR ((((triple3) -> rule1)) -> rule3))] Fiona is rough.[(((triple6) -> rule1))] Fiona is young.[(((triple6) -> rule4) OR ((((triple6) -> rule1)) -> rule3))]