Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is round. All blue people are rough. Furry, blue people are red. If someone is blue and nice then they are green. If someone is furry then they are blue. If someone is rough then they are blue. Green, furry people are round. Rough people are furry. All red people are blue.
Bob is nice.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule4) OR ((triple5) -> rule8) OR ((triple6) -> rule5) OR ((((triple6) -> rule7)) -> rule4))] Bob is furry.[(triple2 OR ((triple6) -> rule7) OR ((((triple1) -> rule1)) -> rule7) OR ((((((triple5) -> rule8)) -> rule1)) -> rule7))] Bob is green.[(triple3 OR ((triple1 triple4) -> rule3) OR ((((triple2) -> rule4) triple4) -> rule3) OR ((((triple5) -> rule8) triple4) -> rule3) OR ((((triple6) -> rule5) triple4) -> rule3) OR ((((((triple6) -> rule7)) -> rule4) triple4) -> rule3))] Bob is nice.[(triple4)] Bob is red.[(triple5 OR ((triple2 triple1) -> rule2) OR ((triple2 ((triple2) -> rule4)) -> rule2) OR ((triple2 ((triple6) -> rule5)) -> rule2) OR ((((triple6) -> rule7) triple1) -> rule2) OR ((((triple6) -> rule7) ((triple2) -> rule4)) -> rule2) OR ((((triple6) -> rule7) ((triple6) -> rule5)) -> rule2) OR ((triple2 ((((triple6) -> rule7)) -> rule4)) -> rule2) OR ((((((triple1) -> rule1)) -> rule7) triple1) -> rule2) OR ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule4)) -> rule2) OR ((((((triple1) -> rule1)) -> rule7) ((triple2) -> rule4)) -> rule2) OR ((((((triple1) -> rule1)) -> rule7) ((triple6) -> rule5)) -> rule2) OR ((((((triple1) -> rule1)) -> rule7) ((((triple6) -> rule7)) -> rule4)) -> rule2))] Bob is rough.[(triple6 OR ((triple1) -> rule1) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple5) -> rule8)) -> rule1))] Bob is round.[(triple7 OR ((triple3 triple2) -> rule6) OR ((triple3 ((triple6) -> rule7)) -> rule6) OR ((((triple1 triple4) -> rule3) triple2) -> rule6) OR ((((triple1 triple4) -> rule3) ((triple6) -> rule7)) -> rule6) OR ((triple3 ((((triple1) -> rule1)) -> rule7)) -> rule6) OR ((((((triple2) -> rule4) triple4) -> rule3) triple2) -> rule6) OR ((((((triple5) -> rule8) triple4) -> rule3) triple2) -> rule6) OR ((((((triple6) -> rule5) triple4) -> rule3) triple2) -> rule6) OR ((((triple1 triple4) -> rule3) ((((triple1) -> rule1)) -> rule7)) -> rule6) OR ((((((triple2) -> rule4) triple4) -> rule3) ((triple6) -> rule7)) -> rule6) OR ((((((triple5) -> rule8) triple4) -> rule3) ((triple6) -> rule7)) -> rule6) OR ((((((triple6) -> rule5) triple4) -> rule3) ((triple6) -> rule7)) -> rule6) OR ((((((triple2) -> rule4) triple4) -> rule3) ((((triple1) -> rule1)) -> rule7)) -> rule6) OR ((((((triple5) -> rule8) triple4) -> rule3) ((((triple1) -> rule1)) -> rule7)) -> rule6) OR ((((((triple6) -> rule5) triple4) -> rule3) ((((triple1) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule4) triple4) -> rule3) triple2) -> rule6) OR ((((triple1 triple4) -> rule3) ((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule4) triple4) -> rule3) ((triple6) -> rule7)) -> rule6) OR ((((((triple2) -> rule4) triple4) -> rule3) ((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule6) OR ((((((triple5) -> rule8) triple4) -> rule3) ((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule6) OR ((((((triple6) -> rule5) triple4) -> rule3) ((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule4) triple4) -> rule3) ((((triple1) -> rule1)) -> rule7)) -> rule6) OR ((((((((triple6) -> rule7)) -> rule4) triple4) -> rule3) ((((((triple5) -> rule8)) -> rule1)) -> rule7)) -> rule6))]