The cat is blue. The cat is green. The cat is kind. The cat is red. The cat is young. If the cat is young and the cat is kind then the cat is red. All kind, green people are young. All kind, green people are red.
The cat eats the cat.
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is red.[(triple4 OR ((triple3 triple2) -> rule3) OR ((triple5 triple3) -> rule1) OR ((((triple3 triple2) -> rule2) triple3) -> rule1))] The cat is young.[(triple5 OR ((triple3 triple2) -> rule2))]