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