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