Anne is kind. Anne is rough. Bob is green. Bob is white. Bob is not young. Charlie is big. Charlie is cold. Charlie is green. Charlie is not kind. Charlie is rough. Charlie is young. Dave is not big. Dave is cold. Dave is kind. Dave is white. Dave is young. If Anne is big and Anne is rough then Anne is cold. If Anne is kind then Anne is cold. Cold, kind people are green. Big, white people are green. If someone is kind and not rough then they are not big. All green people are white. Green, kind people are white. If someone is green and not rough then they are young.
Bob is not kind.
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Bob is green.[(triple3)] Bob is not young.[(triple5)] Bob is white.[(triple4 OR ((triple3) -> rule6))] Charlie is big.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is not kind.[(triple9)] Charlie is rough.[(triple10)] Charlie is young.[(triple11)] Dave is cold.[(triple13)] Dave is kind.[(triple14)] Dave is not big.[(triple12)] Dave is white.[(triple15 OR ((((triple13 triple14) -> rule3)) -> rule6) OR ((((triple13 triple14) -> rule3) triple14) -> rule7))] Dave is young.[(triple16)] @1: Anne is cold.[(((triple1) -> rule2))] Charlie is white.[(((triple8) -> rule6))] Dave is green.[(((triple13 triple14) -> rule3))] @2: Anne is green.[(((((triple1) -> rule2) triple1) -> rule3))] @3: Anne is white.[(((((((triple1) -> rule2) triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule2) triple1) -> rule3) triple1) -> rule7))]