The lion is nice. The lion sees the squirrel. The rabbit is nice. The rabbit is round. The rabbit likes the squirrel. The squirrel is big. The squirrel likes the tiger. The tiger likes the rabbit. The tiger sees the squirrel. The tiger visits the lion. If something visits the lion and it visits the tiger then it sees the lion. If something is red then it visits the tiger. All kind things are red. If something visits the rabbit and it is big then the rabbit sees the squirrel. If something is round then it visits the squirrel. If something visits the tiger and the tiger is red then it is round. If the squirrel is nice then the squirrel likes the rabbit. If something sees the squirrel and the squirrel is big then it is red.
The lion visits the tiger.
@0: The lion is nice.[(triple1)] The lion sees the squirrel.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4)] The rabbit likes the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the tiger.[(triple7)] The tiger likes the rabbit.[(triple8)] The tiger sees the squirrel.[(triple9)] The tiger visits the lion.[(triple10)] @1: The lion is red.[(((triple2 triple6) -> rule8))] The rabbit visits the squirrel.[(((triple4) -> rule5))] The tiger is red.[(((triple9 triple6) -> rule8))] @2: The lion visits the tiger.[(((((triple2 triple6) -> rule8)) -> rule2))] The tiger visits the tiger.[(((((triple9 triple6) -> rule8)) -> rule2))] @3: The lion is round.[(((((((triple2 triple6) -> rule8)) -> rule2) ((triple9 triple6) -> rule8)) -> rule6))] The tiger is round.[(((((((triple9 triple6) -> rule8)) -> rule2) ((triple9 triple6) -> rule8)) -> rule6))] The tiger sees the lion.[(((triple10 ((((triple9 triple6) -> rule8)) -> rule2)) -> rule1))] @4: The lion visits the squirrel.[(((((((((triple2 triple6) -> rule8)) -> rule2) ((triple9 triple6) -> rule8)) -> rule6)) -> rule5))] The tiger visits the squirrel.[(((((((((triple9 triple6) -> rule8)) -> rule2) ((triple9 triple6) -> rule8)) -> rule6)) -> rule5))]