Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is smart. Red, kind people are smart. If someone is quiet and round then they are smart. Red, round people are kind.
Dave is red.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2 OR ((triple5 triple6) -> rule3))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7 OR ((triple4 triple6) -> rule2) OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple5 triple6) -> rule3)) -> rule1))]