Charlie is green. Charlie is nice. Dave is blue. Dave is kind. Dave is quiet. Dave is round. Fiona is green. Fiona is kind. Fiona is round. Fiona is white. Blue things are white. If something is green then it is nice. If something is white and kind then it is green.
Dave is not quiet.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2 OR ((triple1) -> rule2))] Dave is blue.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Fiona is green.[(triple7 OR ((triple10 triple8) -> rule3))] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] @1: Dave is white.[(((triple3) -> rule1))] Fiona is nice.[(((triple7) -> rule2) OR ((((triple10 triple8) -> rule3)) -> rule2))] @2: Dave is green.[(((((triple3) -> rule1) triple4) -> rule3))] @3: Dave is nice.[(((((((triple3) -> rule1) triple4) -> rule3)) -> rule2))]