Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is nice. Dave is blue. Dave is green. Dave is kind. Dave is nice. Erin is green. Erin is nice. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. If someone is kind and green then they are red.
Bob is green.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Erin is green.[(triple10)] Erin is nice.[(triple11)] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is kind.[(triple14)] Fiona is nice.[(triple15)] Fiona is red.[(triple16)] @1: Bob is red.[(((triple4 triple3) -> rule1))] Dave is red.[(((triple8 triple7) -> rule1))]