Anne is big. Anne is red. Anne is round. Anne is smart. Bob is green. Bob is rough. Charlie is round. Charlie is white. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. Big people are white. White people are rough. All white people are smart.
Charlie is green.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4 OR ((((triple1) -> rule1)) -> rule3))] Bob is green.[(triple5)] Bob is rough.[(triple6)] Charlie is round.[(triple7)] Charlie is white.[(triple8)] Fiona is rough.[(triple9 OR ((triple12) -> rule2))] Fiona is round.[(triple10)] Fiona is smart.[(triple11 OR ((triple12) -> rule3))] Fiona is white.[(triple12)] @1: Anne is white.[(((triple1) -> rule1))] Charlie is rough.[(((triple8) -> rule2))] Charlie is smart.[(((triple8) -> rule3))] @2: Anne is rough.[(((((triple1) -> rule1)) -> rule2))]