Anne is green. Anne is not red. Anne is round. Bob is cold. Bob is not quiet. Bob is rough. Charlie is furry. Fiona is cold. Fiona is green. Fiona is rough. All cold people are red. All red people are cold. If Bob is rough then Bob is green. If someone is green and not red then they are quiet. If someone is cold and not rough then they are quiet. If Charlie is red and Charlie is not quiet then Charlie is round.
Bob is cold.
@0: Anne is green.[(triple1)] Anne is not red.[(triple2)] Anne is round.[(triple3)] Bob is cold.[(triple4)] Bob is not quiet.[(triple5)] Bob is rough.[(triple6)] Charlie is furry.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is rough.[(triple10)] @1: Anne is quiet.[(((triple1 triple2) -> rule4))] Bob is green.[(((triple6) -> rule3))] Bob is red.[(((triple4) -> rule1))] Fiona is red.[(((triple8) -> rule1))]