Anne is kind. Anne is not quiet. Anne is not smart. Erin is big. Erin is blue. Erin is smart. Fiona is quiet. All young, blue things are green. All young things are blue. If Erin is not quiet then Erin is not smart. If Anne is smart then Anne is kind. Big things are smart. If something is green then it is not smart.
Erin is not big.
@0: Anne is kind.[(triple1)] Anne is not quiet.[(triple2)] Anne is not smart.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is smart.[(triple6 OR ((triple4) -> rule5))] Fiona is quiet.[(triple7)]