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