The cat is big. The cat is blue. The cat is red. The cat is not round. The cat is not young. Round things are big. If something is blue then it is big. All young things are not round. If something is young and blue then it is red. If the cat is red and the cat is round then the cat is blue. If the cat is red and the cat is round then the cat is young.
The cat does not see the cat.
@0: The cat is big.[(triple1 OR ((triple2) -> rule2))] The cat is blue.[(triple2)] The cat is not round.[(triple4)] The cat is not young.[(triple5)] The cat is red.[(triple3)]