Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is white. Anne is young. Bob is cold. Bob is furry. Bob is rough. Bob is white. Bob is young. If something is furry and green then it is white. If Anne is red then Anne is furry. If something is rough and red then it is green. All young things are furry. If Anne is white and Anne is young then Anne is red. All green things are rough. Rough things are young. White things are furry.
Bob is not green.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule2) OR ((triple6) -> rule8) OR ((triple7) -> rule4) OR ((((triple5) -> rule7)) -> rule4) OR ((((triple6 triple7) -> rule5)) -> rule2) OR ((((((triple3) -> rule6)) -> rule7)) -> rule4) OR ((((triple6 ((triple5) -> rule7)) -> rule5)) -> rule2) OR ((((triple6 ((((triple3) -> rule6)) -> rule7)) -> rule5)) -> rule2))] Anne is green.[(triple3 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple6 triple7) -> rule5)) -> rule3) OR ((triple5 ((triple6 ((triple5) -> rule7)) -> rule5)) -> rule3))] Anne is red.[(triple4 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple5) -> rule7)) -> rule5) OR ((((triple2 triple3) -> rule1) triple7) -> rule5) OR ((((triple2 triple3) -> rule1) ((triple5) -> rule7)) -> rule5) OR ((triple6 ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((triple7) -> rule4) triple3) -> rule1) triple7) -> rule5) OR ((((triple2 triple3) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((triple7) -> rule4) triple3) -> rule1) ((triple5) -> rule7)) -> rule5) OR ((((((triple7) -> rule4) triple3) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((triple5) -> rule7)) -> rule4) triple3) -> rule1) triple7) -> rule5) OR ((((((((triple5) -> rule7)) -> rule4) triple3) -> rule1) ((triple5) -> rule7)) -> rule5) OR ((((((((triple5) -> rule7)) -> rule4) triple3) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule7)) -> rule4) triple3) -> rule1) triple7) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule7)) -> rule4) triple3) -> rule1) ((triple5) -> rule7)) -> rule5) OR ((((((((((triple3) -> rule6)) -> rule7)) -> rule4) triple3) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5))] Anne is rough.[(triple5 OR ((triple3) -> rule6))] Anne is white.[(triple6 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple5 triple4) -> rule3)) -> rule1) OR ((((triple4) -> rule2) triple3) -> rule1) OR ((((triple7) -> rule4) triple3) -> rule1) OR ((((triple4) -> rule2) ((triple5 triple4) -> rule3)) -> rule1) OR ((((triple7) -> rule4) ((triple5 triple4) -> rule3)) -> rule1) OR ((((((triple5) -> rule7)) -> rule4) triple3) -> rule1) OR ((((((triple5) -> rule7)) -> rule4) ((triple5 triple4) -> rule3)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule7)) -> rule4) triple3) -> rule1) OR ((((((((triple3) -> rule6)) -> rule7)) -> rule4) ((triple5 triple4) -> rule3)) -> rule1))] Anne is young.[(triple7 OR ((triple5) -> rule7) OR ((((triple3) -> rule6)) -> rule7))] Bob is cold.[(triple8)] Bob is furry.[(triple9 OR ((triple11) -> rule8) OR ((triple12) -> rule4) OR ((((triple10) -> rule7)) -> rule4))] Bob is rough.[(triple10)] Bob is white.[(triple11)] Bob is young.[(triple12 OR ((triple10) -> rule7))]