Anne is green. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Anne is young. Bob is green. Bob is kind. Bob is smart. Bob is young. Erin is kind. Erin is rough. Erin is white. Erin is young. All quiet people are green.
Anne is smart.
@0: Anne is green.[(triple1 OR ((triple3) -> rule1))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Bob is green.[(triple8)] Bob is kind.[(triple9)] Bob is smart.[(triple10)] Bob is young.[(triple11)] Erin is kind.[(triple12)] Erin is rough.[(triple13)] Erin is white.[(triple14)] Erin is young.[(triple15)]