Bob is blue. Bob is green. Bob is rough. Dave is blue. Dave is kind. Dave is red. Dave is rough. Erin is blue. Erin is red. Harry is blue. Harry is green. Harry is red. Cold things are round. If Erin is green then Erin is blue. All rough things are not cold.
Erin is rough.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Dave is blue.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Erin is blue.[(triple8)] Erin is red.[(triple9)] Harry is blue.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12)] @1: Bob is not cold.[(((triple3) -> rule3))] Dave is not cold.[(((triple7) -> rule3))]