The bear eats the tiger. The bear visits the tiger. The dog is kind. The mouse chases the bear. The tiger chases the dog. The tiger does not chase the mouse. The tiger eats the bear. If something chases the bear then it is red. If the tiger eats the bear and the bear visits the dog then the tiger is kind. If something is young then it eats the mouse. If something visits the tiger and it chases the tiger then the tiger is big. If the dog does not eat the bear then the bear visits the dog. If something eats the dog and it eats the bear then the bear does not visit the mouse.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The dog is kind.
("dog" "is" "kind" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
If something chases the bear then it is red.
((("something" "chases" "bear" "+")) -> ("something" "is" "red" "+"))
If the tiger eats the bear and the bear visits the dog then the tiger is kind.
((("tiger" "eats" "bear" "+") ("bear" "visits" "dog" "+")) -> ("tiger" "is" "kind" "+"))
If something is young then it eats the mouse.
((("something" "is" "young" "+")) -> ("something" "eats" "mouse" "+"))
If something visits the tiger and it chases the tiger then the tiger is big.
((("something" "visits" "tiger" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "is" "big" "+"))
If the dog does not eat the bear then the bear visits the dog.
((("dog" "eats" "bear" "~")) -> ("bear" "visits" "dog" "+"))
If something eats the dog and it eats the bear then the bear does not visit the mouse.
((("something" "eats" "dog" "+") ("something" "eats" "bear" "+")) -> ("bear" "visits" "mouse" "-"))
The dog is kind.
True
1
proof
[(triple3)]
("dog" "is" "kind" "+")
triple3
The dog is not kind.
False
1
inv-proof
[(triple3)]
("dog" "is" "kind" "-")
triple3
The mouse is red.
True
2
proof
[(((triple4) -> rule1))]
("mouse" "is" "red" "+")
((triple4) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is not red.
False
2
inv-proof
[(((triple4) -> rule1))]
("mouse" "is" "red" "-")
((triple4) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The tiger is not kind.
Unknown
inv-rconc
[@2: The tiger is kind.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("tiger" "is" "kind" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bear eats the tiger.[(triple1)] The bear visits the tiger.[(triple2)] The dog is kind.[(triple3)] The mouse chases the bear.[(triple4)] The tiger chases the dog.[(triple5)] The tiger does not chase the mouse.[(triple6)] The tiger eats the bear.[(triple7)] @1: The mouse is red.[(((triple4) -> rule1))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple4
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple5
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
triple6
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
((triple4) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1