Dave is blue. Dave is green. Dave is kind. Dave is white. Gary is not green. Gary is white. Harry is furry. Harry is green. Harry is smart. Harry is white. All kind people are not big. If Harry is blue and Harry is not green then Harry is not kind. If Gary is green then Gary is furry. If someone is blue and not big then they are furry. If someone is blue and not big then they are white. Furry people are smart.
Harry is big.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is white.[(triple4 OR ((triple1 ((triple3) -> rule1)) -> rule5))] Gary is not green.[(triple5)] Gary is white.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is smart.[(triple9 OR ((triple7) -> rule6))] Harry is white.[(triple10)] @1: Dave is not big.[(((triple3) -> rule1))] @2: Dave is furry.[(((triple1 ((triple3) -> rule1)) -> rule4))] @3: Dave is smart.[(((((triple1 ((triple3) -> rule1)) -> rule4)) -> rule6))]