The rabbit is blue. The rabbit likes the tiger. The squirrel visits the tiger. The tiger is rough. The tiger likes the rabbit. The tiger sees the rabbit. The tiger visits the rabbit. If something likes the rabbit then it sees the rabbit. If the tiger visits the rabbit then the tiger visits the squirrel. If something visits the tiger then the tiger is blue. If something is round and cold then it visits the squirrel. If something visits the tiger and the tiger is green then it is blue. If something likes the squirrel then the squirrel sees the rabbit. If something likes the tiger then it is green. If something likes the rabbit then it likes the squirrel.
The tiger does not visit the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit likes the tiger.[(triple2)] The squirrel visits the tiger.[(triple3)] The tiger is rough.[(triple4)] The tiger likes the rabbit.[(triple5)] The tiger sees the rabbit.[(triple6 OR ((triple5) -> rule1))] The tiger visits the rabbit.[(triple7)] @1: The rabbit is green.[(((triple2) -> rule7))] The tiger is blue.[(((triple3) -> rule3))] The tiger likes the squirrel.[(((triple5) -> rule8))] The tiger visits the squirrel.[(((triple7) -> rule2))] @2: The squirrel sees the rabbit.[(((((triple5) -> rule8)) -> rule6))]