Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is smart. Fiona is furry. Fiona is rough. Fiona is smart. Green, rough people are furry.
Fiona is not young.
@0: Bob is furry.[(triple1 OR ((triple2 triple5) -> rule1))] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple8 OR ((triple9 triple11) -> rule1))] Erin is green.[(triple9)] Erin is nice.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] Fiona is furry.[(triple13)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15)]