Dave is green. Dave is red. Dave is rough. All nice, rough things are kind. Green, smart things are nice. All green things are quiet. All quiet things are rough. If something is rough and quiet then it is nice. All green, rough things are smart. If something is nice then it is green. Nice, kind things are green.
Dave is nice.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3 OR ((((triple1) -> rule3)) -> rule4))] @1: Dave is quiet.[(((triple1) -> rule3))] Dave is smart.[(((triple1 triple3) -> rule6) OR ((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule6))] @2: Dave is nice.[(((triple1 ((triple1 triple3) -> rule6)) -> rule2) OR ((triple3 ((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule5) OR ((triple1 ((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule6)) -> rule2))] @3: Dave is kind.[(((((triple1 ((triple1 triple3) -> rule6)) -> rule2) triple3) -> rule1) OR ((((triple3 ((triple1) -> rule3)) -> rule5) triple3) -> rule1) OR ((((triple1 ((triple1 triple3) -> rule6)) -> rule2) ((((triple1) -> rule3)) -> rule4)) -> rule1) OR ((((triple3 ((triple1) -> rule3)) -> rule5) ((((triple1) -> rule3)) -> rule4)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule5) triple3) -> rule1) OR ((((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule3)) -> rule5) ((((triple1) -> rule3)) -> rule4)) -> rule1) OR ((((triple1 ((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule6)) -> rule2) triple3) -> rule1) OR ((((triple1 ((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule6)) -> rule2) ((((triple1) -> rule3)) -> rule4)) -> rule1))]