The cat is blue. The cat is green. The cat is nice. The cat is round. The cat is young. All nice, round people are young. If the cat is young then the cat is round.
The cat sees the cat.
@0: The cat is blue.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is round.[(triple4 OR ((triple5) -> rule2))] The cat is young.[(triple5 OR ((triple3 triple4) -> rule1))]