The bear likes the rabbit. The lion visits the rabbit. The rabbit is cold. The tiger is round. If something likes the rabbit then it visits the bear. If something visits the bear then it likes the bear. If the tiger is nice and the tiger is big then the tiger visits the rabbit. If something likes the rabbit and it likes the bear then it is cold. If something is cold and big then it visits the rabbit. If something likes the lion and it likes the bear then it chases the tiger. If something likes the bear then the bear is nice. If something visits the rabbit then the rabbit visits the lion.
The bear visits the lion.
@0: The bear likes the rabbit.[(triple1)] The lion visits the rabbit.[(triple2)] The rabbit is cold.[(triple3)] The tiger is round.[(triple4)] @1: The bear visits the bear.[(((triple1) -> rule1))] The rabbit visits the lion.[(((triple2) -> rule8))] @2: The bear likes the bear.[(((((triple1) -> rule1)) -> rule2))] @3: The bear is cold.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule4))] The bear is nice.[(((((((triple1) -> rule1)) -> rule2)) -> rule7))]