The cow eats the lion. The cow is round. The lion is cold. The lion visits the cow. The lion visits the tiger. The rabbit eats the cow. The rabbit eats the lion. The rabbit likes the cow. The tiger eats the cow. The tiger is kind. The tiger is red. The tiger visits the lion. If someone likes the rabbit then the rabbit eats the tiger. If someone likes the rabbit then they visit the lion. If someone likes the cow then they visit the tiger. If someone is round and they like the cow then the cow is red. If someone is round then they like the rabbit. If someone eats the cow and the cow is cold then they visit the rabbit.
The tiger is round.
@0: The cow eats the lion.[(triple1)] The cow is round.[(triple2)] The lion is cold.[(triple3)] The lion visits the cow.[(triple4)] The lion visits the tiger.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit likes the cow.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is kind.[(triple10)] The tiger is red.[(triple11)] The tiger visits the lion.[(triple12)] @1: The cow likes the rabbit.[(((triple2) -> rule5))] The rabbit visits the tiger.[(((triple8) -> rule3))] @2: The cow visits the lion.[(((((triple2) -> rule5)) -> rule2))] The rabbit eats the tiger.[(((((triple2) -> rule5)) -> rule1))]