Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is young. If something is kind then it is quiet. Green things are cold. If something is cold then it is young. If something is quiet and cold then it is green. If something is cold and kind then it is blue. If something is quiet and round then it is green.
Dave is not quiet.
@0: Dave is blue.[(triple1 OR ((triple2 triple4) -> rule5) OR ((((triple3) -> rule2) triple4) -> rule5) OR ((((((triple5 triple6) -> rule6)) -> rule2) triple4) -> rule5) OR ((((((((triple4) -> rule1) triple6) -> rule6)) -> rule2) triple4) -> rule5))] Dave is cold.[(triple2 OR ((triple3) -> rule2) OR ((((triple5 triple6) -> rule6)) -> rule2) OR ((((((triple4) -> rule1) triple6) -> rule6)) -> rule2))] Dave is green.[(triple3 OR ((triple5 triple2) -> rule4) OR ((triple5 triple6) -> rule6) OR ((((triple4) -> rule1) triple2) -> rule4) OR ((((triple4) -> rule1) triple6) -> rule6))] Dave is kind.[(triple4)] Dave is quiet.[(triple5 OR ((triple4) -> rule1))] Dave is round.[(triple6)] Dave is young.[(triple7 OR ((triple2) -> rule3) OR ((((triple3) -> rule2)) -> rule3) OR ((((((triple5 triple6) -> rule6)) -> rule2)) -> rule3) OR ((((((((triple4) -> rule1) triple6) -> rule6)) -> rule2)) -> rule3))]