The cat is big. The dog sees the cat. The rabbit sees the dog. The squirrel visits the cat. If something is big then it sees the squirrel. If something likes the rabbit then it is big. If something sees the dog and it is blue then the dog is big. If something is rough then it sees the rabbit. If something sees the squirrel then it is blue. If the rabbit sees the squirrel and the rabbit visits the cat then the cat visits the dog. If something likes the rabbit and the rabbit sees the cat then it visits the squirrel. If something is rough and blue then it visits the dog.
The cat is blue.
@0: The cat is big.[(triple1)] The dog sees the cat.[(triple2)] The rabbit sees the dog.[(triple3)] The squirrel visits the cat.[(triple4)] @1: The cat sees the squirrel.[(((triple1) -> rule1))] @2: The cat is blue.[(((((triple1) -> rule1)) -> rule5))]