The cat sees the dog. The cat sees the tiger. The dog eats the cat. The dog likes the tiger. The rabbit is big. The tiger likes the cat. The tiger sees the cat. If something is green then it likes the tiger. If something sees the rabbit then it is green. If the rabbit is cold and the rabbit is green then the rabbit likes the tiger. If something eats the tiger then the tiger sees the rabbit. If something eats the cat and the cat eats the rabbit then it sees the tiger. If something is cold then it eats the cat. If something likes the cat then the cat eats the dog. If something is big then it eats the tiger.
The tiger is green.
@0: The cat sees the dog.[(triple1)] The cat sees the tiger.[(triple2)] The dog eats the cat.[(triple3)] The dog likes the tiger.[(triple4)] The rabbit is big.[(triple5)] The tiger likes the cat.[(triple6)] The tiger sees the cat.[(triple7)] @1: The cat eats the dog.[(((triple6) -> rule7))] The rabbit eats the tiger.[(((triple5) -> rule8))] @2: The tiger sees the rabbit.[(((((triple5) -> rule8)) -> rule4))] @3: The tiger is green.[(((((((triple5) -> rule8)) -> rule4)) -> rule2))] @4: The tiger likes the tiger.[(((((((((triple5) -> rule8)) -> rule4)) -> rule2)) -> rule1))]