Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is smart. All red things are smart. Blue things are red. All smart things are quiet.
Dave is cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple7) -> rule3) OR ((((triple5) -> rule1)) -> rule3) OR ((((((triple1) -> rule2)) -> rule1)) -> rule3))] Dave is red.[(triple5 OR ((triple1) -> rule2))] Dave is round.[(triple6)] Dave is smart.[(triple7 OR ((triple5) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]