The cat is big. The cat is blue. The cat is not red. The cat is round. The cat is young. All red people are big. If someone is blue then they are big. Red people are not big. If someone is blue then they are young. If someone is red then they are blue. If someone is red and not big then they are round.
The cat is red.
@0: The cat is big.[(triple1 OR ((triple2) -> rule2))] The cat is blue.[(triple2)] The cat is not red.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple2) -> rule4))]