The dog is green. The lion is rough. The lion is round. The lion sees the tiger. The lion visits the tiger. The rabbit is green. The rabbit is rough. The tiger eats the dog. The tiger eats the rabbit. The tiger is blue. The tiger is rough. The tiger sees the lion. If someone visits the lion then the lion eats the tiger. If someone visits the dog and the dog sees the rabbit then the dog is blue. If someone visits the tiger then the tiger visits the dog. If someone is green then they see the rabbit. If someone is blue then they eat the tiger. If someone is round and they visit the lion then the lion eats the tiger. If someone visits the tiger then the tiger is rough. If the lion visits the dog then the lion visits the rabbit.
The tiger sees the tiger.
@0: The dog is green.[(triple1)] The lion is rough.[(triple2)] The lion is round.[(triple3)] The lion sees the tiger.[(triple4)] The lion visits the tiger.[(triple5)] The rabbit is green.[(triple6)] The rabbit is rough.[(triple7)] The tiger eats the dog.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger is blue.[(triple10)] The tiger is rough.[(triple11 OR ((triple5) -> rule7))] The tiger sees the lion.[(triple12)] @1: The dog sees the rabbit.[(((triple1) -> rule4))] The rabbit sees the rabbit.[(((triple6) -> rule4))] The tiger eats the tiger.[(((triple10) -> rule5))] The tiger visits the dog.[(((triple5) -> rule3))] @2: The dog is blue.[(((((triple5) -> rule3) ((triple1) -> rule4)) -> rule2))] @3: The dog eats the tiger.[(((((((triple5) -> rule3) ((triple1) -> rule4)) -> rule2)) -> rule5))]