The bear sees the cat. The cat chases the lion. The cat does not chase the tiger. The cat does not see the lion. The cat sees the tiger. The lion chases the bear. The lion does not chase the tiger. The lion is green. The lion does not see the tiger. The tiger chases the cat. The tiger chases the lion. The tiger eats the cat. If something chases the tiger and it sees the tiger then it is young. If something is red then it eats the cat. If something chases the bear then the bear is young. If something is red then it does not chase the lion. If something eats the cat and the cat chases the tiger then the tiger is blue. If the tiger eats the lion and the tiger does not see the bear then the tiger does not chase the cat. If something sees the bear and it is blue then the bear does not eat the tiger. If something sees the tiger and the tiger does not eat the cat then it is not blue.
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
The cat does not see the lion.
("cat" "sees" "lion" "-")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
The lion is green.
("lion" "is" "green" "+")
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
If something chases the tiger and it sees the tiger then it is young.
((("something" "chases" "tiger" "+") ("something" "sees" "tiger" "+")) -> ("something" "is" "young" "+"))
If something is red then it eats the cat.
((("something" "is" "red" "+")) -> ("something" "eats" "cat" "+"))
If something chases the bear then the bear is young.
((("something" "chases" "bear" "+")) -> ("bear" "is" "young" "+"))
If something is red then it does not chase the lion.
((("something" "is" "red" "+")) -> ("something" "chases" "lion" "-"))
If something eats the cat and the cat chases the tiger then the tiger is blue.
((("something" "eats" "cat" "+") ("cat" "chases" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
If the tiger eats the lion and the tiger does not see the bear then the tiger does not chase the cat.
((("tiger" "eats" "lion" "+") ("tiger" "sees" "bear" "~")) -> ("tiger" "chases" "cat" "-"))
If something sees the bear and it is blue then the bear does not eat the tiger.
((("something" "sees" "bear" "+") ("something" "is" "blue" "+")) -> ("bear" "eats" "tiger" "-"))
If something sees the tiger and the tiger does not eat the cat then it is not blue.
((("something" "sees" "tiger" "+") ("tiger" "eats" "cat" "~")) -> ("something" "is" "blue" "-"))
The tiger chases the lion.
True
1
proof
[(triple11)]
("tiger" "chases" "lion" "+")
triple11
The tiger does not chase the lion.
False
1
inv-proof
[(triple11)]
("tiger" "chases" "lion" "-")
triple11
The bear is young.
True
2
proof
[(((triple6) -> rule3))]
("bear" "is" "young" "+")
((triple6) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple6) -> rule3))]
("bear" "is" "young" "-")
((triple6) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "young" "-")
The lion is young.
Unknown
rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "young" "+")
The lion does not chase the cat.
Unknown
inv-random
[@0: The lion chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "cat" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bear sees the cat.[(triple1)] The cat chases the lion.[(triple2)] The cat does not chase the tiger.[(triple3)] The cat does not see the lion.[(triple4)] The cat sees the tiger.[(triple5)] The lion chases the bear.[(triple6)] The lion does not chase the tiger.[(triple7)] The lion does not see the tiger.[(triple9)] The lion is green.[(triple8)] The tiger chases the cat.[(triple10)] The tiger chases the lion.[(triple11)] The tiger eats the cat.[(triple12)] @1: The bear is young.[(((triple6) -> rule3))]
The bear sees the cat.
("bear" "sees" "cat" "+")
triple1
The cat chases the lion.
("cat" "chases" "lion" "+")
triple2
The cat does not chase the tiger.
("cat" "chases" "tiger" "-")
triple3
The cat does not see the lion.
("cat" "sees" "lion" "-")
triple4
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple5
The lion chases the bear.
("lion" "chases" "bear" "+")
triple6
The lion does not chase the tiger.
("lion" "chases" "tiger" "-")
triple7
The lion does not see the tiger.
("lion" "sees" "tiger" "-")
triple9
The lion is green.
("lion" "is" "green" "+")
triple8
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple10
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple11
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple12
The bear is young.
("bear" "is" "young" "+")
((triple6) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1