Anne is big. Anne is furry. Anne is green. Anne is round. Anne is smart. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is smart. All big people are red. Big, green people are round. All cold people are round. Green, furry people are cold. If Bob is green and Bob is cold then Bob is round. If Bob is smart then Bob is round. All big people are cold. Big, green people are cold.
Anne is green.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is round.[(triple4 OR ((triple1 triple3) -> rule2) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple1 triple3) -> rule8)) -> rule3) OR ((((triple3 triple2) -> rule4)) -> rule3))] Anne is smart.[(triple5)] Bob is cold.[(triple6 OR ((triple8 triple7) -> rule4))] Bob is furry.[(triple7)] Bob is green.[(triple8)] Bob is red.[(triple9)] Bob is smart.[(triple10)] @1: Anne is cold.[(((triple1) -> rule7) OR ((triple1 triple3) -> rule8) OR ((triple3 triple2) -> rule4))] Anne is red.[(((triple1) -> rule1))] Bob is round.[(((triple10) -> rule6) OR ((triple6) -> rule3) OR ((triple8 triple6) -> rule5) OR ((((triple8 triple7) -> rule4)) -> rule3) OR ((triple8 ((triple8 triple7) -> rule4)) -> rule5))]