The cat is kind. The cat is red. The cat is rough. The cat is round. The cat is young. If someone is young then they are kind. All young, red people are round.
The cat does not see the cat.
@0: The cat is kind.[(triple1 OR ((triple5) -> rule1))] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4 OR ((triple5 triple2) -> rule2))] The cat is young.[(triple5)]