Anne is not big. Anne is nice. Bob is not big. Bob is green. Bob is not nice. Bob is red. Bob is rough. Bob is young. Charlie is big. Charlie is young. Big people are not green. If Charlie is green then Charlie is rough. If someone is big then they are red. If Charlie is young then Charlie is not furry. All big, furry people are rough. If someone is big and not furry then they are rough.
Anne is furry.
@0: Anne is nice.[(triple2)] Anne is not big.[(triple1)] Bob is green.[(triple4)] Bob is not big.[(triple3)] Bob is not nice.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Bob is young.[(triple8)] Charlie is big.[(triple9)] Charlie is young.[(triple10)] @1: Charlie is not furry.[(((triple10) -> rule4))] Charlie is not green.[(((triple9) -> rule1))] Charlie is red.[(((triple9) -> rule3))] @2: Charlie is rough.[(((triple9 ((triple10) -> rule4)) -> rule6))]