Erin is big. Erin is nice. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is red. Harry is big. Harry is not blue. Harry is furry. Harry is green. Harry is kind. Harry is red. If something is blue then it is green.
Fiona is green.
@0: Erin is big.[(triple1)] Erin is nice.[(triple2)] Fiona is blue.[(triple3)] Fiona is furry.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is not blue.[(triple8)] Harry is red.[(triple12)] @1: Fiona is green.[(((triple3) -> rule1))]