Anne is cold. Anne is smart. Bob is green. Bob is nice. Bob is quiet. Bob is not round. Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is quiet. Charlie is not round. Charlie is smart. If Anne is cold and Anne is smart then Anne is not round. If someone is green and not nice then they are not quiet. If someone is nice and not furry then they are not cold.
Bob is cold.
@0: Anne is cold.[(triple1)] Anne is smart.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is not round.[(triple6)] Bob is quiet.[(triple5)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8)] Charlie is not nice.[(triple9)] Charlie is not round.[(triple11)] Charlie is quiet.[(triple10)] Charlie is smart.[(triple12)] @1: Anne is not round.[(((triple1 triple2) -> rule1))]