The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit does not like the tiger. The rabbit sees the tiger. The rabbit visits the tiger. The tiger is blue. The tiger is cold. The tiger is green. The tiger is red. The tiger is not rough. The tiger likes the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If someone visits the tiger and they are rough then they do not like the rabbit. If the rabbit likes the tiger then the rabbit is cold. If someone is rough and they like the rabbit then the rabbit likes the tiger. All rough people are green. If someone likes the tiger then they see the tiger. If someone likes the tiger and they visit the tiger then they see the tiger.
The rabbit sees the rabbit.
@0: The rabbit does not like the tiger.[(triple5)] The rabbit is blue.[(triple1)] The rabbit is green.[(triple2 OR ((triple4) -> rule4))] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit sees the tiger.[(triple6)] The rabbit visits the tiger.[(triple7)] The tiger is blue.[(triple8)] The tiger is cold.[(triple9)] The tiger is green.[(triple10)] The tiger is not rough.[(triple12)] The tiger is red.[(triple11)] The tiger likes the rabbit.[(triple13)] The tiger sees the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit does not like the rabbit.[(((triple7 triple4) -> rule1))]