The cat is big. The cat is kind. The cat is rough. The cat is round. The cat is young. Young things are round. All kind, rough things are young.
The cat is rough.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4 OR ((triple5) -> rule1) OR ((((triple2 triple3) -> rule2)) -> rule1))] The cat is young.[(triple5 OR ((triple2 triple3) -> rule2))]