Anne is big. Anne is blue. Anne is not furry. Anne is nice. Anne is red. Anne is rough. Anne is not smart. If Anne is big then Anne is rough. Furry people are blue. Blue, big people are rough. If someone is smart and furry then they are rough. Red people are nice. Smart, red people are not nice.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple4 OR ((triple5) -> rule5))] Anne is not furry.[(triple3)] Anne is not smart.[(triple7)] Anne is red.[(triple5)] Anne is rough.[(triple6 OR ((triple1) -> rule1) OR ((triple2 triple1) -> rule3))]