Charlie is green. Charlie is white. Dave is blue. Dave is furry. Dave is white. Fiona is blue. Fiona is green. Fiona is nice. Fiona is rough. Fiona is white. All furry people are quiet. All green, white people are nice. If someone is blue and quiet then they are green.
Charlie is not furry.
@0: Charlie is green.[(triple1)] Charlie is white.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8 OR ((triple7 triple10) -> rule2))] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] @1: Charlie is nice.[(((triple1 triple2) -> rule2))] Dave is quiet.[(((triple4) -> rule1))] @2: Dave is green.[(((triple3 ((triple4) -> rule1)) -> rule3))] @3: Dave is nice.[(((((triple3 ((triple4) -> rule1)) -> rule3) triple5) -> rule2))]