Bob is blue. Charlie is big. Dave is big. Nice things are smart. All blue things are green. All big, smart things are green. If Dave is red and Dave is big then Dave is green. If Charlie is nice then Charlie is smart. If Bob is smart and Bob is red then Bob is nice. All big things are nice. If Bob is red and Bob is smart then Bob is blue.
Dave is red.
@0: Bob is blue.[(triple1)] Charlie is big.[(triple2)] Dave is big.[(triple3)] @1: Bob is green.[(((triple1) -> rule2))] Charlie is nice.[(((triple2) -> rule7))] Dave is nice.[(((triple3) -> rule7))] @2: Charlie is smart.[(((((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule7)) -> rule5))] Dave is smart.[(((((triple3) -> rule7)) -> rule1))] @3: Charlie is green.[(((triple2 ((((triple2) -> rule7)) -> rule1)) -> rule3) OR ((triple2 ((((triple2) -> rule7)) -> rule5)) -> rule3))] Dave is green.[(((triple3 ((((triple3) -> rule7)) -> rule1)) -> rule3))]