Dave is cold. Dave is green. Dave is red. Dave is not round. Dave is smart. Dave is not white. Dave is not young. Harry is cold. Harry is green. Harry is red. Harry is not round. Harry is smart. Harry is white. Harry is young. If someone is red then they are cold. All young people are green. If someone is red then they are smart.
Dave is not round.
@0: Dave is cold.[(triple1 OR ((triple3) -> rule1))] Dave is green.[(triple2)] Dave is not round.[(triple4)] Dave is not white.[(triple6)] Dave is not young.[(triple7)] Dave is red.[(triple3)] Dave is smart.[(triple5 OR ((triple3) -> rule3))] Harry is cold.[(triple8 OR ((triple10) -> rule1))] Harry is green.[(triple9 OR ((triple14) -> rule2))] Harry is not round.[(triple11)] Harry is red.[(triple10)] Harry is smart.[(triple12 OR ((triple10) -> rule3))] Harry is white.[(triple13)] Harry is young.[(triple14)]