Bob is big. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is white. Fiona is big. Fiona is cold. Fiona is green. Fiona is not red. Fiona is round. Fiona is white. If something is white and red then it is round.
Fiona is rough.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple6 triple3) -> rule1))] Bob is white.[(triple6)] Fiona is big.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is not red.[(triple10)] Fiona is round.[(triple11)] Fiona is white.[(triple12)]