Anne is green. Anne is kind. Anne is nice. Anne is smart. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is young. Dave is kind. Dave is quiet. Dave is young. Erin is green. Erin is kind. Erin is young. All quiet, big people are green. If Dave is kind and Dave is big then Dave is nice. Kind people are quiet. If someone is green and nice then they are young. If someone is smart and kind then they are green. All green, big people are quiet.
Charlie is not green.
@0: Anne is green.[(triple1 OR ((triple4 triple2) -> rule5))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8 OR ((triple6) -> rule3))] Charlie is young.[(triple9 OR ((triple5 triple7) -> rule4))] Dave is kind.[(triple10)] Dave is quiet.[(triple11 OR ((triple10) -> rule3))] Dave is young.[(triple12)] Erin is green.[(triple13)] Erin is kind.[(triple14)] Erin is young.[(triple15)] @1: Anne is quiet.[(((triple2) -> rule3))] Anne is young.[(((triple1 triple3) -> rule4) OR ((((triple4 triple2) -> rule5) triple3) -> rule4))] Erin is quiet.[(((triple14) -> rule3))]