The cat is big. The cat is kind. The cat is red. The cat is round. The cat is young. Red, young things are kind. Kind, red things are big. All big, round things are kind.
The cat chases the cat.
@0: The cat is big.[(triple1 OR ((triple2 triple3) -> rule2) OR ((((triple3 triple5) -> rule1) triple3) -> rule2))] The cat is kind.[(triple2 OR ((triple1 triple4) -> rule3) OR ((triple3 triple5) -> rule1))] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)]