Anne is green. Anne is quiet. Dave is round. Erin is nice. Fiona is not nice. Fiona is quiet. Fiona is rough. If something is rough and green then it is round. All smart things are round. If something is round and blue then it is rough. All blue things are rough. Quiet things are green. Round things are green. All nice things are blue. All rough, nice things are blue. Rough, nice things are quiet.
Erin is green.
@0: Anne is green.[(triple1 OR ((triple2) -> rule5))] Anne is quiet.[(triple2)] Dave is round.[(triple3)] Erin is nice.[(triple4)] Fiona is not nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] @1: Dave is green.[(((triple3) -> rule6))] Erin is blue.[(((triple4) -> rule7))] Fiona is green.[(((triple6) -> rule5))] @2: Erin is rough.[(((((triple4) -> rule7)) -> rule4))] Fiona is round.[(((triple7 ((triple6) -> rule5)) -> rule1))] @3: Erin is quiet.[(((((((triple4) -> rule7)) -> rule4) triple4) -> rule9))] @4: Erin is green.[(((((((((triple4) -> rule7)) -> rule4) triple4) -> rule9)) -> rule5))] @5: Erin is round.[(((((((triple4) -> rule7)) -> rule4) ((((((((triple4) -> rule7)) -> rule4) triple4) -> rule9)) -> rule5)) -> rule1))]