Anne is cold. Anne is green. Anne is kind. Anne is rough. Anne is smart. Anne is white. Anne is young. All white, cold people are rough. If someone is rough and white then they are young. Kind people are smart. All cold people are smart. All smart, white people are rough. All kind people are rough. If someone is green then they are young. If Anne is kind and Anne is green then Anne is smart.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule6) OR ((triple5 triple6) -> rule5) OR ((triple6 triple1) -> rule1) OR ((((triple1) -> rule4) triple6) -> rule5) OR ((((triple3) -> rule3) triple6) -> rule5) OR ((((triple3 triple2) -> rule8) triple6) -> rule5))] Anne is smart.[(triple5 OR ((triple1) -> rule4) OR ((triple3) -> rule3) OR ((triple3 triple2) -> rule8))] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple2) -> rule7) OR ((triple4 triple6) -> rule2) OR ((((triple3) -> rule6) triple6) -> rule2) OR ((((triple5 triple6) -> rule5) triple6) -> rule2) OR ((((triple6 triple1) -> rule1) triple6) -> rule2) OR ((((((triple1) -> rule4) triple6) -> rule5) triple6) -> rule2) OR ((((((triple3) -> rule3) triple6) -> rule5) triple6) -> rule2) OR ((((((triple3 triple2) -> rule8) triple6) -> rule5) triple6) -> rule2))]