Anne is cold. Anne is furry. Anne is rough. Anne is round. Bob is cold. Bob is furry. Bob is rough. Bob is round. Bob is white. Bob is young. All young people are white. If Bob is smart then Bob is furry. Cold, young people are smart. Furry people are cold. Furry, white people are cold. All young, cold people are smart. If Anne is furry and Anne is white then Anne is cold. All white people are furry.
Bob is furry.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule4))] Anne is furry.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Bob is cold.[(triple5 OR ((triple6) -> rule4) OR ((triple6 triple9) -> rule5) OR ((((triple9) -> rule8)) -> rule4) OR ((triple6 ((triple10) -> rule1)) -> rule5) OR ((((triple9) -> rule8) triple9) -> rule5) OR ((((triple9) -> rule8) ((triple10) -> rule1)) -> rule5) OR ((((((triple10) -> rule1)) -> rule8)) -> rule4) OR ((((((triple10) -> rule1)) -> rule8) triple9) -> rule5) OR ((((((triple10) -> rule1)) -> rule8) ((triple10) -> rule1)) -> rule5))] Bob is furry.[(triple6 OR ((triple9) -> rule8) OR ((((triple10) -> rule1)) -> rule8) OR ((((triple10 triple5) -> rule6)) -> rule2) OR ((((triple5 triple10) -> rule3)) -> rule2))] Bob is rough.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9 OR ((triple10) -> rule1))] Bob is young.[(triple10)] @1: Bob is smart.[(((triple10 triple5) -> rule6) OR ((triple5 triple10) -> rule3) OR ((triple10 ((triple6) -> rule4)) -> rule6) OR ((triple10 ((triple6 triple9) -> rule5)) -> rule6) OR ((((triple6) -> rule4) triple10) -> rule3) OR ((((triple6 triple9) -> rule5) triple10) -> rule3) OR ((triple10 ((((triple9) -> rule8)) -> rule4)) -> rule6) OR ((triple10 ((triple6 ((triple10) -> rule1)) -> rule5)) -> rule6) OR ((triple10 ((((triple9) -> rule8) triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule8)) -> rule4) triple10) -> rule3) OR ((((triple6 ((triple10) -> rule1)) -> rule5) triple10) -> rule3) OR ((((((triple9) -> rule8) triple9) -> rule5) triple10) -> rule3) OR ((triple10 ((((triple9) -> rule8) ((triple10) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9) -> rule8) ((triple10) -> rule1)) -> rule5) triple10) -> rule3) OR ((triple10 ((((((triple10) -> rule1)) -> rule8)) -> rule4)) -> rule6) OR ((triple10 ((((((triple10) -> rule1)) -> rule8) triple9) -> rule5)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule8)) -> rule4) triple10) -> rule3) OR ((((((((triple10) -> rule1)) -> rule8) triple9) -> rule5) triple10) -> rule3) OR ((triple10 ((((((triple10) -> rule1)) -> rule8) ((triple10) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule8) ((triple10) -> rule1)) -> rule5) triple10) -> rule3))]