Anne is cold. Anne is kind. Anne is not quiet. Anne is red. Anne is rough. Anne is round. Anne is young. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is round. Bob is not young. Charlie is not rough. Charlie is not young. If something is round and quiet then it is not rough. If Anne is quiet then Anne is young. If something is rough and not quiet then it is young. Quiet, rough things are red. If something is cold and not young then it is kind. If Bob is young and Bob is not red then Bob is kind.
Anne is red.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is not quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7 OR ((triple5 triple3) -> rule3))] Bob is cold.[(triple8)] Bob is kind.[(triple9 OR ((triple8 triple13) -> rule5))] Bob is not young.[(triple13)] Bob is quiet.[(triple10)] Bob is red.[(triple11)] Bob is round.[(triple12)] Charlie is not rough.[(triple14)] Charlie is not young.[(triple15)] @1: Bob is not rough.[(((triple12 triple10) -> rule1))]