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