Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is round. Bob is smart. Bob is young. Erin is furry. Fiona is big. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is round. Gary is blue. Gary is not furry. Gary is green. Smart, blue things are big. If something is big and not green then it is not young. If Gary is smart and Gary is not big then Gary is round.
Fiona is furry.
@0: Bob is big.[(triple1 OR ((triple6 triple2) -> rule1))] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Erin is furry.[(triple8)] Fiona is big.[(triple9)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is not blue.[(triple10)] Fiona is round.[(triple13)] Gary is blue.[(triple14)] Gary is green.[(triple16)] Gary is not furry.[(triple15)]