Anne is big. Anne is cold. Anne is nice. Anne is not red. Anne is not rough. Bob is big. Bob is cold. Bob is not furry. Bob is nice. Bob is rough. Charlie is rough. Charlie is round. Red people are cold. All nice, round people are not cold. Nice, rough people are cold. All cold people are nice. If someone is nice and not cold then they are not big. If someone is nice and not cold then they are big.
Anne is not rough.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule4))] Anne is not red.[(triple4)] Anne is not rough.[(triple5)] Bob is big.[(triple6)] Bob is cold.[(triple7 OR ((triple9 triple10) -> rule3))] Bob is nice.[(triple9 OR ((triple7) -> rule4))] Bob is not furry.[(triple8)] Bob is rough.[(triple10)] Charlie is rough.[(triple11)] Charlie is round.[(triple12)]