The cat is blue. The cat is cold. The cat is green. The cat sees the tiger. The cat visits the tiger. The rabbit is cold. The rabbit likes the tiger. The rabbit sees the cat. The tiger is blue. The tiger is cold. The tiger visits the cat. The tiger visits the rabbit. If someone sees the rabbit then the rabbit visits the cat. If someone is blue and cold then they see the tiger. If someone sees the rabbit and the rabbit is blue then the rabbit is cold. If the rabbit likes the cat then the cat sees the tiger. If someone likes the cat and the cat visits the tiger then the cat visits the rabbit. If someone is rough then they like the tiger.
The tiger is red.
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat sees the tiger.[(triple4 OR ((triple1 triple2) -> rule2))] The cat visits the tiger.[(triple5)] The rabbit is cold.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit sees the cat.[(triple8)] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The tiger sees the tiger.[(((triple9 triple10) -> rule2))]