The cat is big. The cat is not blue. The cat is cold. The cat is kind. The cat is round. If the cat is kind then the cat is big. If someone is kind and not blue then they are cold.
The cat visits the cat.
@0: The cat is big.[(triple1 OR ((triple4) -> rule1))] The cat is cold.[(triple3 OR ((triple4 triple2) -> rule2))] The cat is kind.[(triple4)] The cat is not blue.[(triple2)] The cat is round.[(triple5)]