Bob is big. Bob is furry. Bob is green. Bob is rough. Bob is smart. Bob is young. Fiona is big. Fiona is not furry. Fiona is green. Fiona is rough. Fiona is white. Fiona is young. All white people are young. If someone is green and smart then they are furry. If someone is white and smart then they are green.
Fiona is smart.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2 OR ((triple3 triple5) -> rule2))] Bob is green.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple9)] Fiona is not furry.[(triple8)] Fiona is rough.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12 OR ((triple11) -> rule1))]