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