Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is rough. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Harry is blue. Harry is cold. Harry is quiet. If something is green then it is furry.
Fiona is not green.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple4) -> rule1))] Bob is green.[(triple4)] Bob is kind.[(triple5)] Bob is quiet.[(triple6)] Bob is rough.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10 OR ((triple11) -> rule1))] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is quiet.[(triple15)]