Anne is blue. Anne is furry. Bob is blue. Bob is furry. Bob is green. Bob is rough. Bob is round. Bob is young. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is round. Charlie is young. Fiona is furry. Fiona is green. Fiona is young. All rough things are blue. All round things are kind. Blue things are green.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Bob is blue.[(triple3 OR ((triple6) -> rule1))] Bob is furry.[(triple4)] Bob is green.[(triple5 OR ((triple3) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] Bob is rough.[(triple6)] Bob is round.[(triple7)] Bob is young.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10 OR ((triple12) -> rule2))] Charlie is rough.[(triple11)] Charlie is round.[(triple12)] Charlie is young.[(triple13)] Fiona is furry.[(triple14)] Fiona is green.[(triple15)] Fiona is young.[(triple16)] @1: Anne is green.[(((triple1) -> rule3))] Bob is kind.[(((triple7) -> rule2))] Charlie is blue.[(((triple11) -> rule1))] @2: Charlie is green.[(((((triple11) -> rule1)) -> rule3))]