The bear eats the cat. The bear is red. The bear is round. The bear needs the tiger. The bear sees the cat. The bear sees the tiger. The cat eats the mouse. The cat needs the bear. The cat needs the mouse. The mouse sees the bear. The tiger eats the cat. The tiger eats the mouse. The tiger is nice. The tiger is red. The tiger needs the cat. The tiger sees the cat. If something sees the bear and the bear needs the tiger then the bear needs the mouse. If something needs the mouse then it eats the tiger.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
If something sees the bear and the bear needs the tiger then the bear needs the mouse.
((("something" "sees" "bear" "+") ("bear" "needs" "tiger" "+")) -> ("bear" "needs" "mouse" "+"))
If something needs the mouse then it eats the tiger.
((("something" "needs" "mouse" "+")) -> ("something" "eats" "tiger" "+"))
The bear is red.
True
1
proof
[(triple2)]
("bear" "is" "red" "+")
triple2
The tiger is not nice.
False
1
inv-proof
[(triple13)]
("tiger" "is" "nice" "-")
triple13
The bear needs the mouse.
True
3
proof
[(((triple10 triple4) -> rule1))]
("bear" "needs" "mouse" "+")
((triple10 triple4) -> (rule1 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The cat does not eat the tiger.
False
2
inv-proof
[(((triple9) -> rule2))]
("cat" "eats" "tiger" "-")
((triple9) -> (rule2 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The bear eats the tiger.
True
4
proof
[(((((triple10 triple4) -> rule1)) -> rule2))]
("bear" "eats" "tiger" "+")
((((triple10 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear does not eat the tiger.
False
4
inv-proof
[(((((triple10 triple4) -> rule1)) -> rule2))]
("bear" "eats" "tiger" "-")
((((triple10 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The mouse eats the tiger.
Unknown
rconc
[@1: The mouse eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "tiger" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The tiger sees the bear.
Unknown
random
[@0: The tiger sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bear" "+")
The cat does not eat the bear.
Unknown
inv-random
[@0: The cat eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bear" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bear eats the cat.[(triple1)] The bear is red.[(triple2)] The bear is round.[(triple3)] The bear needs the tiger.[(triple4)] The bear sees the cat.[(triple5)] The bear sees the tiger.[(triple6)] The cat eats the mouse.[(triple7)] The cat needs the bear.[(triple8)] The cat needs the mouse.[(triple9)] The mouse sees the bear.[(triple10)] The tiger eats the cat.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14)] The tiger needs the cat.[(triple15)] The tiger sees the cat.[(triple16)] @1: The bear needs the mouse.[(((triple10 triple4) -> rule1))] The cat eats the tiger.[(((triple9) -> rule2))] @2: The bear eats the tiger.[(((((triple10 triple4) -> rule1)) -> rule2))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple4
The bear sees the cat.
("bear" "sees" "cat" "+")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple7
The cat needs the bear.
("cat" "needs" "bear" "+")
triple8
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple9
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple10
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple11
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger is red.
("tiger" "is" "red" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple16
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple10 triple4) -> (rule1 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple9) -> (rule2 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((((triple10 triple4) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2