Anne is green. Anne is nice. Anne is round. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Charlie is not furry. Charlie is not nice. Charlie is round. Charlie is white. If someone is rough and nice then they are cold. If someone is green and not furry then they are not white. All rough people are round.
Anne is not cold.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Bob is cold.[(triple4 OR ((triple8 triple7) -> rule1))] Bob is furry.[(triple5)] Bob is green.[(triple6)] Bob is nice.[(triple7)] Bob is rough.[(triple8)] Charlie is not furry.[(triple9)] Charlie is not nice.[(triple10)] Charlie is round.[(triple11)] Charlie is white.[(triple12)] @1: Bob is round.[(((triple8) -> rule3))]