Anne is not nice. Anne is rough. Bob is big. Bob is cold. Bob is nice. Bob is round. Charlie is cold. Charlie is rough. Charlie is not young. Gary is not cold. All big things are not young. All furry, big things are not young. If something is young and not nice then it is round. If something is furry then it is not round. All rough, round things are furry. If something is young then it is not furry. If Bob is nice and Bob is not rough then Bob is not round. Round, nice things are cold.
Charlie is nice.
@0: Anne is not nice.[(triple1)] Anne is rough.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4 OR ((triple6 triple5) -> rule8))] Bob is nice.[(triple5)] Bob is round.[(triple6)] Charlie is cold.[(triple7)] Charlie is not young.[(triple9)] Charlie is rough.[(triple8)] Gary is not cold.[(triple10)] @1: Bob is not young.[(((triple3) -> rule1))]