The cat is big. The cat is blue. The cat is not green. The cat is rough. The cat is not round. Round, big people are green. All rough, green people are not round. If the cat is not green then the cat is blue.
The cat does not visit the cat.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2 OR ((triple3) -> rule3))] The cat is not green.[(triple3)] The cat is not round.[(triple5)] The cat is rough.[(triple4)]