Anne is kind. Charlie is green. Charlie is round. Charlie is smart. Erin is big. Erin is kind. Erin is round. Erin is smart. Fiona is big. Fiona is furry. Fiona is kind. Fiona is round. If something is big and not round then it is not rough. All round, green things are rough. Kind things are rough. If something is rough and not furry then it is kind. If something is green and not round then it is not smart. If something is round and not furry then it is smart.
Fiona is smart.
@0: Anne is kind.[(triple1)] Charlie is green.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Erin is big.[(triple5)] Erin is kind.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Fiona is big.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is round.[(triple12)] @1: Anne is rough.[(((triple1) -> rule3))] Charlie is rough.[(((triple3 triple2) -> rule2))] Erin is rough.[(((triple6) -> rule3))] Fiona is rough.[(((triple11) -> rule3))]