Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is red. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is white. Fiona is furry. Fiona is rough. If someone is furry and cold then they are rough. If someone is green and white then they are nice.
Dave is red.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9 OR ((triple8 triple10) -> rule2))] Dave is white.[(triple10)] Fiona is furry.[(triple11)] Fiona is rough.[(triple12)] @1: Charlie is rough.[(((triple2 triple1) -> rule1))] Dave is rough.[(((triple7 triple6) -> rule1))]