Anne is cold. Anne is nice. Anne is rough. Anne is round. Anne is white. Anne is young. Bob is kind. Bob is rough. Bob is white. Bob is young. Harry is cold. Harry is kind. Harry is nice. Harry is round. Harry is white. If Bob is round then Bob is rough. If Bob is cold then Bob is round. If someone is nice then they are white. Kind people are round. If someone is rough then they are white. White, round people are rough.
Harry is nice.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3 OR ((triple5 triple4) -> rule6) OR ((((triple2) -> rule3) triple4) -> rule6))] Anne is round.[(triple4)] Anne is white.[(triple5 OR ((triple2) -> rule3) OR ((triple3) -> rule5))] Anne is young.[(triple6)] Bob is kind.[(triple7)] Bob is rough.[(triple8 OR ((((triple7) -> rule4)) -> rule1) OR ((triple9 ((triple7) -> rule4)) -> rule6))] Bob is white.[(triple9 OR ((triple8) -> rule5) OR ((((((triple7) -> rule4)) -> rule1)) -> rule5))] Bob is young.[(triple10)] Harry is cold.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is round.[(triple14 OR ((triple12) -> rule4))] Harry is white.[(triple15 OR ((triple13) -> rule3))] @1: Bob is round.[(((triple7) -> rule4))] Harry is rough.[(((triple15 triple14) -> rule6) OR ((triple15 ((triple12) -> rule4)) -> rule6) OR ((((triple13) -> rule3) triple14) -> rule6) OR ((((triple13) -> rule3) ((triple12) -> rule4)) -> rule6))]