Anne is big. Anne is blue. Anne is not cold. Anne is red. Bob is not blue. Bob is round. Bob is white. Charlie is big. Charlie is not red. Gary is blue. Gary is round. Gary is white. If someone is blue and not cold then they are rough. Rough people are round. If someone is round then they are white.
Charlie is red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is not cold.[(triple3)] Anne is red.[(triple4)] Bob is not blue.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple6) -> rule3))] Charlie is big.[(triple8)] Charlie is not red.[(triple9)] Gary is blue.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12 OR ((triple11) -> rule3))] @1: Anne is rough.[(((triple2 triple3) -> rule1))] @2: Anne is round.[(((((triple2 triple3) -> rule1)) -> rule2))] @3: Anne is white.[(((((((triple2 triple3) -> rule1)) -> rule2)) -> rule3))]