Bob is big. Bob is blue. Bob is furry. Bob is not green. Bob is kind. Bob is nice. Bob is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. If Bob is nice and Bob is young then Bob is blue. If Bob is furry and Bob is green then Bob is not young.
Fiona is young.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple6 triple7) -> rule1))] Bob is furry.[(triple3)] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is not green.[(triple4)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)]