Bob is big. Bob is green. Bob is kind. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Cold, smart people are blue. Green, smart people are big. All green, furry people are kind. All furry people are kind. If Bob is big and Bob is blue then Bob is furry. Kind, smart people are cold. If Charlie is smart and Charlie is kind then Charlie is blue. If someone is green then they are smart.
Bob is smart.
@0: Bob is big.[(triple1 OR ((triple2 ((triple2) -> rule8)) -> rule2))] Bob is green.[(triple2)] Bob is kind.[(triple3)] Charlie is big.[(triple4 OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple8) -> rule8)) -> rule2))] Charlie is blue.[(triple5 OR ((triple10 triple9) -> rule7) OR ((triple6 triple10) -> rule1) OR ((triple10 ((triple7) -> rule4)) -> rule7) OR ((triple10 ((triple8 triple7) -> rule3)) -> rule7) OR ((triple6 ((triple8) -> rule8)) -> rule1) OR ((((triple8) -> rule8) triple9) -> rule7) OR ((((triple9 triple10) -> rule6) triple10) -> rule1) OR ((((triple8) -> rule8) ((triple7) -> rule4)) -> rule7) OR ((((triple8) -> rule8) ((triple8 triple7) -> rule3)) -> rule7) OR ((((triple9 triple10) -> rule6) ((triple8) -> rule8)) -> rule1) OR ((((triple9 ((triple8) -> rule8)) -> rule6) triple10) -> rule1) OR ((((((triple7) -> rule4) triple10) -> rule6) triple10) -> rule1) OR ((((((triple8 triple7) -> rule3) triple10) -> rule6) triple10) -> rule1) OR ((((triple9 ((triple8) -> rule8)) -> rule6) ((triple8) -> rule8)) -> rule1) OR ((((((triple7) -> rule4) triple10) -> rule6) ((triple8) -> rule8)) -> rule1) OR ((((((triple7) -> rule4) ((triple8) -> rule8)) -> rule6) triple10) -> rule1) OR ((((((triple8 triple7) -> rule3) triple10) -> rule6) ((triple8) -> rule8)) -> rule1) OR ((((((triple8 triple7) -> rule3) ((triple8) -> rule8)) -> rule6) triple10) -> rule1) OR ((((((triple7) -> rule4) ((triple8) -> rule8)) -> rule6) ((triple8) -> rule8)) -> rule1) OR ((((((triple8 triple7) -> rule3) ((triple8) -> rule8)) -> rule6) ((triple8) -> rule8)) -> rule1))] Charlie is cold.[(triple6 OR ((triple9 triple10) -> rule6) OR ((triple9 ((triple8) -> rule8)) -> rule6) OR ((((triple7) -> rule4) triple10) -> rule6) OR ((((triple8 triple7) -> rule3) triple10) -> rule6) OR ((((triple7) -> rule4) ((triple8) -> rule8)) -> rule6) OR ((((triple8 triple7) -> rule3) ((triple8) -> rule8)) -> rule6))] Charlie is furry.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9 OR ((triple7) -> rule4) OR ((triple8 triple7) -> rule3))] Charlie is smart.[(triple10 OR ((triple8) -> rule8))] @1: Bob is smart.[(((triple2) -> rule8))] @2: Bob is cold.[(((triple3 ((triple2) -> rule8)) -> rule6))] @3: Bob is blue.[(((((triple3 ((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule1))] @4: Bob is furry.[(((triple1 ((((triple3 ((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule1)) -> rule5) OR ((((triple2 ((triple2) -> rule8)) -> rule2) ((((triple3 ((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule1)) -> rule5))]