The cat is big. The cat is blue. The cat is not cold. The cat is round. The cat is young. If someone is blue then they are round. Cold, young people are not round. If someone is cold then they are round. If the cat is big then the cat is young. If the cat is young then the cat is blue. Cold, young people are big.
The cat is cold.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2 OR ((triple5) -> rule5) OR ((((triple1) -> rule4)) -> rule5))] The cat is not cold.[(triple3)] The cat is round.[(triple4 OR ((triple2) -> rule1) OR ((((triple5) -> rule5)) -> rule1) OR ((((((triple1) -> rule4)) -> rule5)) -> rule1))] The cat is young.[(triple5 OR ((triple1) -> rule4))]