Bob is big. Bob is not furry. Bob is rough. Charlie is red. Erin is big. Erin is rough. Fiona is big. Fiona is rough. Fiona is round. Fiona is not smart. If something is big and not rough then it is round. Quiet, furry things are round. If something is big and round then it is not quiet.
Erin is not round.
@0: Bob is big.[(triple1)] Bob is not furry.[(triple2)] Bob is rough.[(triple3)] Charlie is red.[(triple4)] Erin is big.[(triple5)] Erin is rough.[(triple6)] Fiona is big.[(triple7)] Fiona is not smart.[(triple10)] Fiona is rough.[(triple8)] Fiona is round.[(triple9)] @1: Fiona is not quiet.[(((triple7 triple9) -> rule3))]