Bob is big. Bob is cold. Bob is furry. Bob is green. Charlie is big. Charlie is green. Charlie is smart. If Bob is furry then Bob is green. Green, kind people are smart. If someone is big and furry then they are smart. If someone is furry and big then they are smart. All nice, green people are kind. Green, furry people are kind.
Charlie is not green.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule1))] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is smart.[(triple7)] @1: Bob is kind.[(((triple4 triple3) -> rule6) OR ((((triple3) -> rule1) triple3) -> rule6))] Bob is smart.[(((triple1 triple3) -> rule3) OR ((triple3 triple1) -> rule4) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule2) OR ((((triple3) -> rule1) ((triple4 triple3) -> rule6)) -> rule2) OR ((triple4 ((((triple3) -> rule1) triple3) -> rule6)) -> rule2) OR ((((triple3) -> rule1) ((((triple3) -> rule1) triple3) -> rule6)) -> rule2))]