Bob is blue. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Dave is cold. Dave is furry. Dave is red. Fiona is kind. All red things are cold.
Bob is not cold.
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple6) -> rule1))] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Dave is cold.[(triple7 OR ((triple9) -> rule1))] Dave is furry.[(triple8)] Dave is red.[(triple9)] Fiona is kind.[(triple10)]