Anne is big. Anne is furry. Anne is red. Anne is rough. Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is smart. Fiona is big. Fiona is kind. Fiona is red. Fiona is rough. Big, smart people are rough.
Fiona is not blue.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is furry.[(triple7)] Bob is kind.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10 OR ((triple5 triple11) -> rule1))] Bob is smart.[(triple11)] Fiona is big.[(triple12)] Fiona is kind.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)]