Anne is big. Anne is blue. Anne is red. Anne is rough. Anne is round. Anne is white. Anne is young. If someone is rough then they are white. All rough, red people are white. All rough people are big. Young people are white. Young, white people are rough. Red, big people are white.
Anne is red.
@0: Anne is big.[(triple1 OR ((triple4) -> rule3) OR ((((triple7 triple6) -> rule5)) -> rule3) OR ((((triple7 ((triple7) -> rule4)) -> rule5)) -> rule3))] Anne is blue.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple7) -> rule4)) -> rule5) OR ((triple7 ((triple3 triple1) -> rule6)) -> rule5))] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule1) OR ((triple7) -> rule4) OR ((triple3 triple1) -> rule6) OR ((triple4 triple3) -> rule2) OR ((triple3 ((triple4) -> rule3)) -> rule6))] Anne is young.[(triple7)]