Anne is cold. Anne is nice. Dave is big. Dave is rough. Erin is cold. Erin is furry. Erin is nice. Erin is rough. Fiona is cold. Fiona is green. If someone is white and cold then they are nice. Rough, big people are furry. If someone is cold and rough then they are green. If Dave is rough then Dave is furry. If someone is green and white then they are furry. If someone is green and rough then they are cold.
Fiona is big.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Dave is big.[(triple3)] Dave is rough.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] @1: Dave is furry.[(((triple4) -> rule4) OR ((triple4 triple3) -> rule2))] Erin is green.[(((triple5 triple8) -> rule3))]