Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. All big things are green. Round things are red.
Bob is not round.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4 OR ((triple1) -> rule1))] Bob is red.[(triple5 OR ((triple7) -> rule2))] Bob is rough.[(triple6)] Bob is round.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is green.[(triple11 OR ((triple8) -> rule1))] Fiona is red.[(triple12 OR ((triple14) -> rule2))] Fiona is rough.[(triple13)] Fiona is round.[(triple14)]