Anne is big. Anne is kind. Anne is nice. Anne is red. Anne is round. Erin is round. Fiona is kind. Fiona is nice. Fiona is smart. Gary is kind. Gary is nice. Gary is smart. If something is nice then it is red. All smart, red things are rough. Rough things are big.
Erin is not smart.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple3) -> rule1))] Anne is round.[(triple5)] Erin is round.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is smart.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is smart.[(triple12)] @1: Fiona is red.[(((triple8) -> rule1))] Gary is red.[(((triple11) -> rule1))] @2: Fiona is rough.[(((triple9 ((triple8) -> rule1)) -> rule2))] Gary is rough.[(((triple12 ((triple11) -> rule1)) -> rule2))] @3: Fiona is big.[(((((triple9 ((triple8) -> rule1)) -> rule2)) -> rule3))] Gary is big.[(((((triple12 ((triple11) -> rule1)) -> rule2)) -> rule3))]