Dave is blue. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Harry is cold. Harry is kind. Harry is quiet. Harry is round. Harry is smart. All kind, rough people are round. All smart people are round. If Dave is smart then Dave is kind. Round people are cold. If Harry is blue and Harry is round then Harry is cold. Rough, round people are kind. If Harry is not smart then Harry is not quiet. If Dave is quiet then Dave is smart.
Dave is quiet.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple6) -> rule4) OR ((((triple7) -> rule2)) -> rule4) OR ((((triple3 triple5) -> rule1)) -> rule4) OR ((((((triple4) -> rule8)) -> rule2)) -> rule4) OR ((((((triple7) -> rule3) triple5) -> rule1)) -> rule4) OR ((((((((triple4) -> rule8)) -> rule3) triple5) -> rule1)) -> rule4))] Dave is kind.[(triple3 OR ((triple7) -> rule3) OR ((triple5 triple6) -> rule6) OR ((((triple4) -> rule8)) -> rule3) OR ((triple5 ((triple7) -> rule2)) -> rule6) OR ((triple5 ((((triple4) -> rule8)) -> rule2)) -> rule6))] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6 OR ((triple7) -> rule2) OR ((triple3 triple5) -> rule1) OR ((((triple4) -> rule8)) -> rule2) OR ((((triple7) -> rule3) triple5) -> rule1) OR ((((((triple4) -> rule8)) -> rule3) triple5) -> rule1))] Dave is smart.[(triple7 OR ((triple4) -> rule8))] Harry is cold.[(triple8 OR ((triple11) -> rule4) OR ((((triple12) -> rule2)) -> rule4))] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is round.[(triple11 OR ((triple12) -> rule2))] Harry is smart.[(triple12)]