The dog eats the tiger. The dog is big. The dog sees the mouse. The dog does not visit the tiger. The mouse eats the tiger. The mouse is cold. The tiger is red. If someone is cold and not blue then they eat the dog. If the mouse is big and the mouse is cold then the mouse does not visit the tiger. If someone is big and not young then they do not see the mouse.
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
If someone is cold and not blue then they eat the dog.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "~")) -> ("someone" "eats" "dog" "+"))
If the mouse is big and the mouse is cold then the mouse does not visit the tiger.
((("mouse" "is" "big" "+") ("mouse" "is" "cold" "+")) -> ("mouse" "visits" "tiger" "-"))
If someone is big and not young then they do not see the mouse.
((("someone" "is" "big" "+") ("someone" "is" "young" "~")) -> ("someone" "sees" "mouse" "-"))
The mouse eats the tiger.
True
1
proof
[(triple5)]
("mouse" "eats" "tiger" "+")
triple5
The mouse does not eat the tiger.
False
1
inv-proof
[(triple5)]
("mouse" "eats" "tiger" "-")
triple5
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog does not visit the tiger.[(triple4)] The dog eats the tiger.[(triple1)] The dog is big.[(triple2)] The dog sees the mouse.[(triple3)] The mouse eats the tiger.[(triple5)] The mouse is cold.[(triple6)] The tiger is red.[(triple7)]
The dog does not visit the tiger.
("dog" "visits" "tiger" "-")
triple4
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7