Anne is quiet. Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is smart. Dave is kind. Dave is round. Fiona is blue. Fiona is quiet. Fiona is rough. If someone is round then they are green. Smart people are blue. All smart, round people are quiet. Quiet, green people are rough. If Dave is quiet and Dave is green then Dave is smart. All round people are quiet.
Fiona is not green.
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2 OR ((triple7) -> rule2))] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6 OR ((triple5 triple3) -> rule4))] Bob is smart.[(triple7)] Dave is kind.[(triple8)] Dave is round.[(triple9)] Fiona is blue.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] @1: Dave is green.[(((triple9) -> rule1))] Dave is quiet.[(((triple9) -> rule6))] @2: Dave is rough.[(((((triple9) -> rule6) ((triple9) -> rule1)) -> rule4))] Dave is smart.[(((((triple9) -> rule6) ((triple9) -> rule1)) -> rule5))] @3: Dave is blue.[(((((((triple9) -> rule6) ((triple9) -> rule1)) -> rule5)) -> rule2))]