Bob is big. Bob is blue. Bob is rough. Bob is round. Bob is smart. Fiona is big. Fiona is blue. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Blue things are big.
Bob is not young.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is blue.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Fiona is big.[(triple6 OR ((triple7) -> rule1))] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)]