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