Anne is big. Anne is cold. Anne is furry. Anne is not green. Anne is not kind. Anne is rough. Anne is not round. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is not kind. Charlie is rough. Charlie is round. If someone is rough and not kind then they are big. Rough, big people are cold. If someone is big and rough then they are cold. All big people are cold. If someone is green and kind then they are furry. If Charlie is kind and Charlie is furry then Charlie is green.
Charlie is not big.
@0: Anne is big.[(triple1 OR ((triple6 triple5) -> rule1))] Anne is cold.[(triple2 OR ((triple1) -> rule4) OR ((triple1 triple6) -> rule3) OR ((triple6 triple1) -> rule2) OR ((((triple6 triple5) -> rule1)) -> rule4) OR ((triple6 ((triple6 triple5) -> rule1)) -> rule2) OR ((((triple6 triple5) -> rule1) triple6) -> rule3))] Anne is furry.[(triple3)] Anne is not green.[(triple4)] Anne is not kind.[(triple5)] Anne is not round.[(triple7)] Anne is rough.[(triple6)] Charlie is big.[(triple8 OR ((triple13 triple12) -> rule1))] Charlie is cold.[(triple9 OR ((triple8) -> rule4) OR ((triple13 triple8) -> rule2) OR ((triple8 triple13) -> rule3) OR ((((triple13 triple12) -> rule1)) -> rule4) OR ((triple13 ((triple13 triple12) -> rule1)) -> rule2) OR ((((triple13 triple12) -> rule1) triple13) -> rule3))] Charlie is furry.[(triple10)] Charlie is green.[(triple11)] Charlie is not kind.[(triple12)] Charlie is rough.[(triple13)] Charlie is round.[(triple14)]