Anne is big. Anne is blue. Anne is cold. Anne is rough. Bob is big. Bob is blue. Bob is cold. Bob is not nice. Bob is red. Bob is rough. All big, nice people are cold. All rough, red people are not quiet. If Bob is blue then Bob is red.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is rough.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is cold.[(triple7)] Bob is not nice.[(triple8)] Bob is red.[(triple9 OR ((triple6) -> rule3))] Bob is rough.[(triple10)] @1: Bob is not quiet.[(((triple10 triple9) -> rule2) OR ((triple10 ((triple6) -> rule3)) -> rule2))]