The cat is green. The cat is red. The cat is rough. The cat is round. The cat is young. All red people are green. All red people are round. All young people are rough.
The cat is rough.
@0: The cat is green.[(triple1 OR ((triple2) -> rule1))] The cat is red.[(triple2)] The cat is rough.[(triple3 OR ((triple5) -> rule3))] The cat is round.[(triple4 OR ((triple2) -> rule2))] The cat is young.[(triple5)]