Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is round. Anne is white. Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is round. Bob is white. If someone is big and white then they are green. White people are round. If someone is big then they are green. If Bob is round and Bob is big then Bob is green. All white, round people are big. Green people are white. If Anne is nice then Anne is green. All white, nice people are round.
Anne is furry.
@0: Anne is big.[(triple1 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple7) -> rule2)) -> rule5) OR ((triple7 ((triple7 triple5) -> rule8)) -> rule5) OR ((((triple4) -> rule6) triple6) -> rule5) OR ((((triple4) -> rule6) ((triple7) -> rule2)) -> rule5) OR ((((triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule5) OR ((triple7 ((((triple4) -> rule6)) -> rule2)) -> rule5) OR ((triple7 ((((triple4) -> rule6) triple5) -> rule8)) -> rule5) OR ((((((triple5) -> rule7)) -> rule6) triple6) -> rule5) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule5) OR ((((triple4) -> rule6) ((((triple4) -> rule6) triple5) -> rule8)) -> rule5) OR ((((((triple5) -> rule7)) -> rule6) ((triple7) -> rule2)) -> rule5) OR ((((((triple5) -> rule7)) -> rule6) ((triple7 triple5) -> rule8)) -> rule5) OR ((((((triple5) -> rule7)) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule5) OR ((((((triple5) -> rule7)) -> rule6) ((((triple4) -> rule6) triple5) -> rule8)) -> rule5) OR ((triple7 ((((((triple5) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((triple7 ((((((triple5) -> rule7)) -> rule6) triple5) -> rule8)) -> rule5) OR ((((triple4) -> rule6) ((((((triple5) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple4) -> rule6) ((((((triple5) -> rule7)) -> rule6) triple5) -> rule8)) -> rule5) OR ((((((triple5) -> rule7)) -> rule6) ((((((triple5) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((((triple5) -> rule7)) -> rule6) ((((((triple5) -> rule7)) -> rule6) triple5) -> rule8)) -> rule5))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple1) -> rule3) OR ((triple5) -> rule7) OR ((triple1 triple7) -> rule1) OR ((((triple7 triple6) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule5) triple7) -> rule1) OR ((((triple7 ((triple7) -> rule2)) -> rule5)) -> rule3) OR ((((triple7 ((triple7 triple5) -> rule8)) -> rule5)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule5) triple7) -> rule1) OR ((((triple7 ((triple7 triple5) -> rule8)) -> rule5) triple7) -> rule1))] Anne is nice.[(triple5)] Anne is round.[(triple6 OR ((triple7) -> rule2) OR ((triple7 triple5) -> rule8) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple4) -> rule6) triple5) -> rule8) OR ((((((triple1) -> rule3)) -> rule6)) -> rule2) OR ((((((triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((triple1) -> rule3)) -> rule6) triple5) -> rule8) OR ((((((triple5) -> rule7)) -> rule6) triple5) -> rule8))] Anne is white.[(triple7 OR ((triple4) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple5) -> rule7)) -> rule6))] Bob is big.[(triple8 OR ((triple14 triple13) -> rule5) OR ((triple14 ((triple14) -> rule2)) -> rule5) OR ((triple14 ((triple14 triple12) -> rule8)) -> rule5) OR ((((triple11) -> rule6) triple13) -> rule5) OR ((((triple11) -> rule6) ((triple14) -> rule2)) -> rule5) OR ((((triple11) -> rule6) ((triple14 triple12) -> rule8)) -> rule5) OR ((triple14 ((((triple11) -> rule6)) -> rule2)) -> rule5) OR ((triple14 ((((triple11) -> rule6) triple12) -> rule8)) -> rule5) OR ((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule2)) -> rule5) OR ((((triple11) -> rule6) ((((triple11) -> rule6) triple12) -> rule8)) -> rule5))] Bob is cold.[(triple9)] Bob is furry.[(triple10)] Bob is green.[(triple11 OR ((triple8) -> rule3) OR ((triple13 triple8) -> rule4) OR ((triple8 triple14) -> rule1) OR ((((triple14 triple13) -> rule5)) -> rule3) OR ((triple13 ((triple14 triple13) -> rule5)) -> rule4) OR ((((triple14) -> rule2) triple8) -> rule4) OR ((((triple14 triple12) -> rule8) triple8) -> rule4) OR ((((triple14 triple13) -> rule5) triple14) -> rule1) OR ((((triple14) -> rule2) ((triple14 triple13) -> rule5)) -> rule4) OR ((((triple14 triple12) -> rule8) ((triple14 triple13) -> rule5)) -> rule4) OR ((((triple14 ((triple14) -> rule2)) -> rule5)) -> rule3) OR ((((triple14 ((triple14 triple12) -> rule8)) -> rule5)) -> rule3) OR ((triple13 ((triple14 ((triple14) -> rule2)) -> rule5)) -> rule4) OR ((triple13 ((triple14 ((triple14 triple12) -> rule8)) -> rule5)) -> rule4) OR ((((triple14 ((triple14) -> rule2)) -> rule5) triple14) -> rule1) OR ((((triple14 ((triple14 triple12) -> rule8)) -> rule5) triple14) -> rule1) OR ((((triple14) -> rule2) ((triple14 ((triple14) -> rule2)) -> rule5)) -> rule4) OR ((((triple14) -> rule2) ((triple14 ((triple14 triple12) -> rule8)) -> rule5)) -> rule4) OR ((((triple14 triple12) -> rule8) ((triple14 ((triple14) -> rule2)) -> rule5)) -> rule4) OR ((((triple14 triple12) -> rule8) ((triple14 ((triple14 triple12) -> rule8)) -> rule5)) -> rule4))] Bob is nice.[(triple12)] Bob is round.[(triple13 OR ((triple14) -> rule2) OR ((triple14 triple12) -> rule8) OR ((((triple11) -> rule6)) -> rule2) OR ((((triple11) -> rule6) triple12) -> rule8) OR ((((((triple8) -> rule3)) -> rule6)) -> rule2) OR ((((((triple8) -> rule3)) -> rule6) triple12) -> rule8))] Bob is white.[(triple14 OR ((triple11) -> rule6) OR ((((triple8) -> rule3)) -> rule6) OR ((((triple13 triple8) -> rule4)) -> rule6))]