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