Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is not quiet. Charlie is rough. Charlie is round. Dave is cold. Dave is green. Dave is not kind. Dave is nice. Dave is quiet. Dave is rough. Dave is round. If someone is kind and rough then they are cold. Nice, rough people are cold. If someone is kind and not rough then they are not nice. If Dave is not nice then Dave is green. If Dave is not nice then Dave is not quiet. Kind people are green. All nice people are green. If someone is quiet and not kind then they are green.
Dave is green.
@0: Charlie is cold.[(triple1 OR ((triple3 triple6) -> rule1) OR ((triple4 triple6) -> rule2))] Charlie is green.[(triple2 OR ((triple3) -> rule6) OR ((triple4) -> rule7))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is not quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Dave is cold.[(triple8 OR ((triple11 triple13) -> rule2))] Dave is green.[(triple9 OR ((triple11) -> rule7) OR ((triple12 triple10) -> rule8))] Dave is nice.[(triple11)] Dave is not kind.[(triple10)] Dave is quiet.[(triple12)] Dave is rough.[(triple13)] Dave is round.[(triple14)]