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