The cat is big. The cat is blue. The cat is cold. The cat is kind. The cat is young. The cat likes the mouse. The cat needs the mouse. The cat visits the mouse. The mouse is cold. The mouse likes the cat. The mouse needs the cat. The mouse visits the cat. If something needs the mouse then it is young.
The cat is kind.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is young.[(triple5 OR ((triple7) -> rule1))] The cat likes the mouse.[(triple6)] The cat needs the mouse.[(triple7)] The cat visits the mouse.[(triple8)] The mouse is cold.[(triple9)] The mouse likes the cat.[(triple10)] The mouse needs the cat.[(triple11)] The mouse visits the cat.[(triple12)]