The cat is cold. The cat is kind. The cat is nice. The cat is round. The cat is young. If someone is round then they are cold. Kind people are round. If someone is kind then they are young.
The cat is young.
@0: The cat is cold.[(triple1 OR ((triple4) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is round.[(triple4 OR ((triple2) -> rule2))] The cat is young.[(triple5 OR ((triple2) -> rule3))]