Anne is nice. Anne is rough. Charlie is big. Charlie is green. Charlie is kind. Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Fiona is green. Fiona is quiet. If something is quiet then it is big. All kind, nice things are rough. All kind things are rough. All kind things are green. If something is nice and green then it is kind. Quiet things are nice.
Charlie is not quiet.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is green.[(triple4 OR ((triple5) -> rule4))] Charlie is kind.[(triple5)] Dave is big.[(triple6 OR ((triple9) -> rule1))] Dave is green.[(triple7 OR ((triple8) -> rule4))] Dave is kind.[(triple8 OR ((((triple9) -> rule6) triple7) -> rule5))] Dave is quiet.[(triple9)] Dave is rough.[(triple10 OR ((triple8) -> rule3) OR ((triple8 ((triple9) -> rule6)) -> rule2) OR ((((((triple9) -> rule6) triple7) -> rule5)) -> rule3) OR ((((((triple9) -> rule6) triple7) -> rule5) ((triple9) -> rule6)) -> rule2))] Fiona is green.[(triple11)] Fiona is quiet.[(triple12)] @1: Charlie is rough.[(((triple5) -> rule3))] Dave is nice.[(((triple9) -> rule6))] Fiona is big.[(((triple12) -> rule1))] Fiona is nice.[(((triple12) -> rule6))] @2: Fiona is kind.[(((((triple12) -> rule6) triple11) -> rule5))] @3: Fiona is rough.[(((((((triple12) -> rule6) triple11) -> rule5)) -> rule3) OR ((((((triple12) -> rule6) triple11) -> rule5) ((triple12) -> rule6)) -> rule2))]