Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is white. Dave is young. White things are cold. All green, white things are quiet. If something is white and not cold then it is not nice. If something is quiet and not young then it is nice. All nice, young things are green. All cold, big things are green.
Dave is not white.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple6) -> rule1))] Dave is green.[(triple3 OR ((triple2 triple1) -> rule6) OR ((triple4 triple7) -> rule5) OR ((((triple6) -> rule1) triple1) -> rule6))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple3 triple6) -> rule2) OR ((((triple2 triple1) -> rule6) triple6) -> rule2) OR ((((triple4 triple7) -> rule5) triple6) -> rule2) OR ((((((triple6) -> rule1) triple1) -> rule6) triple6) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)]