Anne is cold. Anne is furry. Bob is nice. Bob is red. Bob is rough. Bob is round. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Dave is cold. Dave is furry. Dave is nice. All cold things are rough. If something is rough then it is nice. All rough, nice things are young.
Anne is not young.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple5) -> rule2))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8)] Charlie is nice.[(triple9 OR ((((triple7) -> rule1)) -> rule2))] Charlie is red.[(triple10)] Charlie is round.[(triple11)] Charlie is young.[(triple12 OR ((((triple7) -> rule1) triple9) -> rule3) OR ((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule2)) -> rule3))] Dave is cold.[(triple13)] Dave is furry.[(triple14)] Dave is nice.[(triple15 OR ((((triple13) -> rule1)) -> rule2))] @1: Anne is rough.[(((triple1) -> rule1))] Bob is young.[(((triple5 triple3) -> rule3) OR ((triple5 ((triple5) -> rule2)) -> rule3))] Charlie is rough.[(((triple7) -> rule1))] Dave is rough.[(((triple13) -> rule1))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule2))] Dave is young.[(((((triple13) -> rule1) triple15) -> rule3) OR ((((triple13) -> rule1) ((((triple13) -> rule1)) -> rule2)) -> rule3))] @3: Anne is young.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule3))]