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