The cat is blue. The cat is cold. The cat is green. The cat is round. The cat is young. If the cat is round and the cat is cold then the cat is green. If something is blue then it is young.
The cat is round.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3 OR ((triple4 triple2) -> rule1))] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple1) -> rule2))]