The cat is young. The cat visits the rabbit. The lion chases the cat. The lion is cold. The lion is green. The lion is red. The lion sees the rabbit. The rabbit chases the squirrel. The rabbit is big. The squirrel is big. The squirrel sees the rabbit. The squirrel visits the cat. Red things are young. If the squirrel chases the lion and the squirrel visits the cat then the squirrel visits the lion. If something sees the squirrel and the squirrel is young then the squirrel chases the rabbit. If something chases the lion then it is red. If something chases the lion and it visits the squirrel then the squirrel visits the cat. If something is cold and young then it visits the rabbit. If something visits the lion then it chases the rabbit. If something is red and it visits the rabbit then the rabbit chases the lion.
The rabbit visits the cat.
@0: The cat is young.[(triple1)] The cat visits the rabbit.[(triple2)] The lion chases the cat.[(triple3)] The lion is cold.[(triple4)] The lion is green.[(triple5)] The lion is red.[(triple6)] The lion sees the rabbit.[(triple7)] The rabbit chases the squirrel.[(triple8)] The rabbit is big.[(triple9)] The squirrel is big.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The lion is young.[(((triple6) -> rule1))] @2: The lion visits the rabbit.[(((triple4 ((triple6) -> rule1)) -> rule6))] @3: The rabbit chases the lion.[(((triple6 ((triple4 ((triple6) -> rule1)) -> rule6)) -> rule8))] @4: The rabbit is red.[(((((triple6 ((triple4 ((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule4))] @5: The rabbit is young.[(((((((triple6 ((triple4 ((triple6) -> rule1)) -> rule6)) -> rule8)) -> rule4)) -> rule1))]