Anne is green. Anne is nice. Anne is quiet. Anne is smart. Charlie is not nice. Charlie is quiet. Charlie is smart. Dave is green. Dave is nice. Dave is red. Dave is smart. Fiona is not quiet. If something is green and not smart then it is not red. If Charlie is not smart and Charlie is not green then Charlie is quiet. If something is quiet then it is round. If something is smart and not nice then it is round. If something is quiet and not red then it is not round. If something is big and not red then it is not quiet. If something is quiet and not green then it is big. All nice things are big.
Charlie is smart.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Charlie is not nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Dave is red.[(triple10)] Dave is smart.[(triple11)] Fiona is not quiet.[(triple12)] @1: Anne is big.[(((triple2) -> rule8))] Anne is round.[(((triple3) -> rule3))] Charlie is round.[(((triple6) -> rule3) OR ((triple7 triple5) -> rule4))] Dave is big.[(((triple9) -> rule8))]