Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is rough. Bob is green. Bob is kind. Charlie is green. Charlie is kind. Charlie is red. Charlie is not rough. Erin is blue. Erin is furry. Erin is not green. Erin is kind. Erin is rough. All rough, furry people are red. If someone is rough and green then they are big.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is rough.[(triple5)] Bob is green.[(triple6)] Bob is kind.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9)] Charlie is not rough.[(triple11)] Charlie is red.[(triple10)] Erin is blue.[(triple12)] Erin is furry.[(triple13)] Erin is kind.[(triple15)] Erin is not green.[(triple14)] Erin is rough.[(triple16)] @1: Anne is red.[(((triple5 triple3) -> rule1))] Erin is red.[(((triple16 triple13) -> rule1))]