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