Bob is green. Bob is kind. Bob is red. Bob is young. Charlie is big. Charlie is green. Charlie is kind. Kind, young things are smart. Red, green things are furry. If Bob is furry then Bob is kind. All green, big things are kind. If Bob is green and Bob is big then Bob is red. If something is big and green then it is young. Smart, young things are furry. All red, green things are big.
Bob is young.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2 OR ((((triple3 triple1) -> rule2)) -> rule3) OR ((triple1 ((triple3 triple1) -> rule8)) -> rule4))] Bob is red.[(triple3)] Bob is young.[(triple4 OR ((((triple3 triple1) -> rule8) triple1) -> rule6))] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7 OR ((triple6 triple5) -> rule4))] @1: Bob is big.[(((triple3 triple1) -> rule8))] Bob is furry.[(((triple3 triple1) -> rule2) OR ((((triple2 triple4) -> rule1) triple4) -> rule7) OR ((((triple2 triple4) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) triple4) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) triple4) -> rule7) OR ((((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) triple4) -> rule7) OR ((((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule7))] Bob is smart.[(((triple2 triple4) -> rule1) OR ((triple2 ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) OR ((((((triple3 triple1) -> rule2)) -> rule3) triple4) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule8)) -> rule4) triple4) -> rule1) OR ((((((triple3 triple1) -> rule2)) -> rule3) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1) OR ((((triple1 ((triple3 triple1) -> rule8)) -> rule4) ((((triple3 triple1) -> rule8) triple1) -> rule6)) -> rule1))] Charlie is young.[(((triple5 triple6) -> rule6))] @2: Charlie is smart.[(((triple7 ((triple5 triple6) -> rule6)) -> rule1) OR ((((triple6 triple5) -> rule4) ((triple5 triple6) -> rule6)) -> rule1))] @3: Charlie is furry.[(((((triple7 ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule7) OR ((((((triple6 triple5) -> rule4) ((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule7))]