Bob is big. Bob is green. Bob is nice. Bob is round. Bob is white. Bob is not young. Dave is furry. Young people are big. Round, furry people are big. If someone is furry and not white then they are big. If Bob is not round then Bob is not big. Nice people are not young. Furry people are young. If someone is furry and big then they are green. If Dave is white and Dave is not young then Dave is green.
Bob is green.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not young.[(triple6 OR ((triple3) -> rule5))] Bob is round.[(triple4)] Bob is white.[(triple5)] Dave is furry.[(triple7)] @1: Dave is young.[(((triple7) -> rule6))] @2: Dave is big.[(((((triple7) -> rule6)) -> rule1))] @3: Dave is green.[(((triple7 ((((triple7) -> rule6)) -> rule1)) -> rule7))]