The cat eats the dog. The cat eats the mouse. The cat sees the tiger. The dog is red. The dog does not see the cat. The mouse eats the dog. The mouse eats the tiger. The mouse sees the cat. The tiger eats the cat. The tiger does not eat the mouse. The tiger is blue. The tiger is kind. The tiger sees the dog. The tiger sees the mouse. The tiger visits the mouse. If the dog is kind then the dog sees the cat. If someone visits the tiger and they eat the cat then the cat is red. If the mouse sees the tiger and the mouse does not eat the cat then the cat is blue. If someone eats the cat then the cat does not visit the dog. If someone eats the cat then they are not green. If someone visits the dog and the dog visits the cat then the dog visits the mouse.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The dog is red.
("dog" "is" "red" "+")
The dog does not see the cat.
("dog" "sees" "cat" "-")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the dog is kind then the dog sees the cat.
((("dog" "is" "kind" "+")) -> ("dog" "sees" "cat" "+"))
If someone visits the tiger and they eat the cat then the cat is red.
((("someone" "visits" "tiger" "+") ("someone" "eats" "cat" "+")) -> ("cat" "is" "red" "+"))
If the mouse sees the tiger and the mouse does not eat the cat then the cat is blue.
((("mouse" "sees" "tiger" "+") ("mouse" "eats" "cat" "~")) -> ("cat" "is" "blue" "+"))
If someone eats the cat then the cat does not visit the dog.
((("someone" "eats" "cat" "+")) -> ("cat" "visits" "dog" "-"))
If someone eats the cat then they are not green.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "green" "-"))
If someone visits the dog and the dog visits the cat then the dog visits the mouse.
((("someone" "visits" "dog" "+") ("dog" "visits" "cat" "+")) -> ("dog" "visits" "mouse" "+"))
The mouse eats the dog.
True
1
proof
[(triple6)]
("mouse" "eats" "dog" "+")
triple6
The cat does not eat the mouse.
False
1
inv-proof
[(triple2)]
("cat" "eats" "mouse" "-")
triple2
The tiger is not green.
True
2
proof
[(((triple9) -> rule5))]
("tiger" "is" "green" "-")
((triple9) -> (rule5 % int1))
The tiger is not green.
("tiger" "is" "green" "-")
int1
The tiger is green.
False
2
inv-proof
[(((triple9) -> rule5))]
("tiger" "is" "green" "+")
((triple9) -> (rule5 % int1))
The tiger is not green.
("tiger" "is" "green" "-")
int1
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "red" "-")
The cat is blue.
Unknown
rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "blue" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The cat eats the dog.[(triple1)] The cat eats the mouse.[(triple2)] The cat sees the tiger.[(triple3)] The dog does not see the cat.[(triple5)] The dog is red.[(triple4)] The mouse eats the dog.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse sees the cat.[(triple8)] The tiger does not eat the mouse.[(triple10)] The tiger eats the cat.[(triple9)] The tiger is blue.[(triple11)] The tiger is kind.[(triple12)] The tiger sees the dog.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The cat does not visit the dog.[(((triple9) -> rule4))] The tiger is not green.[(((triple9) -> rule5))]
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple3
The dog does not see the cat.
("dog" "sees" "cat" "-")
triple5
The dog is red.
("dog" "is" "red" "+")
triple4
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple6
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple7
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple8
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
triple10
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple13
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The cat does not visit the dog.
("cat" "visits" "dog" "-")
((triple9) -> (rule4 % int1))
The cat does not visit the dog.
("cat" "visits" "dog" "-")
int1
The tiger is not green.
("tiger" "is" "green" "-")
((triple9) -> (rule5 % int1))
The tiger is not green.
("tiger" "is" "green" "-")
int1