Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. Gary is furry. Gary is kind. Gary is red. If Bob is red then Bob is kind.
Gary is green.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple5) -> rule1))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Gary is furry.[(triple14)] Gary is kind.[(triple15)] Gary is red.[(triple16)]