Anne is big. Anne is red. Anne is not rough. Anne is round. Anne is not white. Fiona is not big. Fiona is not furry. Fiona is nice. Fiona is round. Fiona is white. Gary is nice. Gary is red. If someone is red and rough then they are nice. Rough, red people are nice. If someone is rough and not round then they are not big. Red people are big. If someone is nice and round then they are not big. If someone is round then they are not furry. Rough people are furry. All furry people are rough.
Anne is not nice.
@0: Anne is big.[(triple1 OR ((triple2) -> rule4))] Anne is not rough.[(triple3)] Anne is not white.[(triple5)] Anne is red.[(triple2)] Anne is round.[(triple4)] Fiona is nice.[(triple8)] Fiona is not big.[(triple6 OR ((triple8 triple9) -> rule5))] Fiona is not furry.[(triple7 OR ((triple9) -> rule6))] Fiona is round.[(triple9)] Fiona is white.[(triple10)] Gary is nice.[(triple11)] Gary is red.[(triple12)] @1: Anne is not furry.[(((triple4) -> rule6))] Gary is big.[(((triple12) -> rule4))]