Bob is big. Bob is green. Bob is nice. White, nice things are young. All big, cold things are young. If something is kind and nice then it is green. Green, white things are big. If something is green then it is kind. Kind things are white. All big, kind things are nice. If Bob is white and Bob is not green then Bob is young.
Bob is not young.
@0: Bob is big.[(triple1 OR ((triple2 ((((triple2) -> rule5)) -> rule6)) -> rule4))] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple1 ((triple2) -> rule5)) -> rule7) OR ((((triple2 ((((triple2) -> rule5)) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule7))] @1: Bob is kind.[(((triple2) -> rule5))] @2: Bob is white.[(((((triple2) -> rule5)) -> rule6))] @3: Bob is young.[(((((((triple2) -> rule5)) -> rule6) triple3) -> rule1) OR ((((((triple2) -> rule5)) -> rule6) ((triple1 ((triple2) -> rule5)) -> rule7)) -> rule1) OR ((((((triple2) -> rule5)) -> rule6) ((((triple2 ((((triple2) -> rule5)) -> rule6)) -> rule4) ((triple2) -> rule5)) -> rule7)) -> rule1))]