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