Anne is quiet. Charlie is not rough. Erin is smart. Fiona is rough. All smart, rough people are not green. If someone is red and not kind then they are rough. If someone is red and smart then they are rough. If someone is rough then they are not blue. All quiet people are smart. All blue people are red. If someone is smart then they are red. If someone is kind then they are red.
Fiona is blue.
@0: Anne is quiet.[(triple1)] Charlie is not rough.[(triple2)] Erin is smart.[(triple3)] Fiona is rough.[(triple4)] @1: Anne is smart.[(((triple1) -> rule5))] Erin is red.[(((triple3) -> rule7))] Fiona is not blue.[(((triple4) -> rule4))] @2: Anne is red.[(((((triple1) -> rule5)) -> rule7))] Erin is rough.[(((((triple3) -> rule7) triple3) -> rule3))] @3: Anne is rough.[(((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule3))] Erin is not blue.[(((((((triple3) -> rule7) triple3) -> rule3)) -> rule4))] Erin is not green.[(((triple3 ((((triple3) -> rule7) triple3) -> rule3)) -> rule1))] @4: Anne is not blue.[(((((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule3)) -> rule4))] Anne is not green.[(((((triple1) -> rule5) ((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule3)) -> rule1))]