The bear eats the cat. The bear is big. The bear is green. The cat sees the bear. The cat sees the mouse. The mouse chases the bear. The mouse chases the cat. The mouse eats the bear. The mouse eats the tiger. The mouse sees the cat. The tiger chases the bear. The tiger chases the cat. The tiger eats the mouse. The tiger is green. The tiger is young. If something eats the mouse and it sees the cat then the cat is blue. If something sees the tiger then the tiger sees the bear. If something eats the tiger and the tiger is round then it is big. If something is big and it eats the cat then it sees the tiger. If something sees the cat then it is big. If something eats the tiger and it sees the bear then the bear eats the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something eats the mouse and it sees the cat then the cat is blue.
((("something" "eats" "mouse" "+") ("something" "sees" "cat" "+")) -> ("cat" "is" "blue" "+"))
If something sees the tiger then the tiger sees the bear.
((("something" "sees" "tiger" "+")) -> ("tiger" "sees" "bear" "+"))
If something eats the tiger and the tiger is round then it is big.
((("something" "eats" "tiger" "+") ("tiger" "is" "round" "+")) -> ("something" "is" "big" "+"))
If something is big and it eats the cat then it sees the tiger.
((("something" "is" "big" "+") ("something" "eats" "cat" "+")) -> ("something" "sees" "tiger" "+"))
If something sees the cat then it is big.
((("something" "sees" "cat" "+")) -> ("something" "is" "big" "+"))
If something eats the tiger and it sees the bear then the bear eats the cat.
((("something" "eats" "tiger" "+") ("something" "sees" "bear" "+")) -> ("bear" "eats" "cat" "+"))
The tiger is green.
True
1
proof
[(triple14)]
("tiger" "is" "green" "+")
triple14
The bear does not eat the cat.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cat" "-")
triple1
The mouse is big.
True
2
proof
[(((triple10) -> rule5))]
("mouse" "is" "big" "+")
((triple10) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is not big.
False
2
inv-proof
[(((triple10) -> rule5))]
("mouse" "is" "big" "-")
((triple10) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The tiger sees the bear.
True
4
proof
[(((((triple2 triple1) -> rule4)) -> rule2))]
("tiger" "sees" "bear" "+")
((((triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2
The tiger does not see the bear.
False
4
inv-proof
[(((((triple2 triple1) -> rule4)) -> rule2))]
("tiger" "sees" "bear" "-")
((((triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "big" "-")
The cat is big.
Unknown
rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "big" "+")
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
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 green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bear eats the cat.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The cat sees the bear.[(triple4)] The cat sees the mouse.[(triple5)] The mouse chases the bear.[(triple6)] The mouse chases the cat.[(triple7)] The mouse eats the bear.[(triple8)] The mouse eats the tiger.[(triple9)] The mouse sees the cat.[(triple10)] The tiger chases the bear.[(triple11)] The tiger chases the cat.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is green.[(triple14)] The tiger is young.[(triple15)] @1: The bear sees the tiger.[(((triple2 triple1) -> rule4))] The mouse is big.[(((triple10) -> rule5))] @2: The tiger sees the bear.[(((((triple2 triple1) -> rule4)) -> rule2))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The cat sees the bear.
("cat" "sees" "bear" "+")
triple4
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple6
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple7
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple8
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple9
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple10
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple11
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple12
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The bear sees the tiger.
("bear" "sees" "tiger" "+")
((triple2 triple1) -> (rule4 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((triple10) -> (rule5 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The tiger sees the bear.
("tiger" "sees" "bear" "+")
((((triple2 triple1) -> (rule4 % int2))) -> (rule2 % int1))
The tiger sees the bear.
("tiger" "sees" "bear" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int2