The cat likes the mouse. The cat needs the dog. The cat needs the mouse. The cat sees the mouse. The dog is big. The dog likes the mouse. The dog likes the tiger. The dog needs the cat. The dog needs the mouse. The dog sees the mouse. The mouse needs the tiger. The tiger likes the cat. If someone likes the dog then they are blue. If someone likes the tiger and they need the tiger then the tiger sees the cat. If the dog is kind and the dog likes the mouse then the dog sees the mouse. If someone is blue then they see the mouse. If the tiger sees the cat then the tiger sees the mouse. If someone needs the cat then they see the dog. If someone sees the mouse then the mouse likes the dog. If someone needs the dog and they need the mouse then the dog needs the tiger.
The cat likes the dog.
@0: The cat likes the mouse.[(triple1)] The cat needs the dog.[(triple2)] The cat needs the mouse.[(triple3)] The cat sees the mouse.[(triple4)] The dog is big.[(triple5)] The dog likes the mouse.[(triple6)] The dog likes the tiger.[(triple7)] The dog needs the cat.[(triple8)] The dog needs the mouse.[(triple9)] The dog sees the mouse.[(triple10)] The mouse needs the tiger.[(triple11)] The tiger likes the cat.[(triple12)] @1: The dog needs the tiger.[(((triple2 triple3) -> rule8))] The dog sees the dog.[(((triple8) -> rule6))] The mouse likes the dog.[(((triple10) -> rule7) OR ((triple4) -> rule7) OR ((((((triple7 ((triple2 triple3) -> rule8)) -> rule2)) -> rule5)) -> rule7))] @2: The mouse is blue.[(((((triple10) -> rule7)) -> rule1) OR ((((triple4) -> rule7)) -> rule1) OR ((((((((triple7 ((triple2 triple3) -> rule8)) -> rule2)) -> rule5)) -> rule7)) -> rule1))] The tiger sees the cat.[(((triple7 ((triple2 triple3) -> rule8)) -> rule2))] @3: The mouse sees the mouse.[(((((((triple10) -> rule7)) -> rule1)) -> rule4) OR ((((((triple4) -> rule7)) -> rule1)) -> rule4) OR ((((((((((triple7 ((triple2 triple3) -> rule8)) -> rule2)) -> rule5)) -> rule7)) -> rule1)) -> rule4))] The tiger sees the mouse.[(((((triple7 ((triple2 triple3) -> rule8)) -> rule2)) -> rule5))]