Dave is blue. Dave is kind. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Fiona is young. Harry is kind. Harry is young. If someone is blue then they are kind.
Dave is not blue.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2 OR ((triple1) -> rule1))] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is rough.[(triple7)] Fiona is young.[(triple8)] Harry is kind.[(triple9)] Harry is young.[(triple10)]