Anne is blue. Anne is nice. Anne is round. Bob is round. Bob is smart. Bob is white. Dave is nice. Dave is round. Fiona is blue. Fiona is green. Fiona is round. Fiona is smart. All blue, smart people are cold. Nice people are green. Round, blue people are white.
Bob is smart.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Dave is nice.[(triple7)] Dave is round.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] @1: Anne is green.[(((triple2) -> rule2))] Anne is white.[(((triple3 triple1) -> rule3))] Dave is green.[(((triple7) -> rule2))] Fiona is cold.[(((triple9 triple12) -> rule1))] Fiona is white.[(((triple11 triple9) -> rule3))]