The bear chases the cat. The bear is blue. The bear is round. The bear is young. The bear does not visit the lion. The cat chases the bear. The cat chases the tiger. The cat is not blue. The lion chases the bear. The lion is young. The lion visits the bear. The lion visits the tiger. The tiger eats the lion. The tiger is not blue. The tiger is not kind. The tiger visits the bear. If something eats the cat and the cat is blue then the cat chases the lion. If something is blue then it eats the tiger. If something is blue and it chases the tiger then the tiger does not chase the lion. If something eats the tiger and the tiger visits the bear then the tiger does not chase the bear. If the bear does not chase the tiger then the tiger eats the lion. If something eats the cat then the cat is round.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not visit the lion.
("bear" "visits" "lion" "-")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is not blue.
("cat" "is" "blue" "-")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something eats the cat and the cat is blue then the cat chases the lion.
((("something" "eats" "cat" "+") ("cat" "is" "blue" "+")) -> ("cat" "chases" "lion" "+"))
If something is blue then it eats the tiger.
((("something" "is" "blue" "+")) -> ("something" "eats" "tiger" "+"))
If something is blue and it chases the tiger then the tiger does not chase the lion.
((("something" "is" "blue" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "chases" "lion" "-"))
If something eats the tiger and the tiger visits the bear then the tiger does not chase the bear.
((("something" "eats" "tiger" "+") ("tiger" "visits" "bear" "+")) -> ("tiger" "chases" "bear" "-"))
If the bear does not chase the tiger then the tiger eats the lion.
((("bear" "chases" "tiger" "~")) -> ("tiger" "eats" "lion" "+"))
If something eats the cat then the cat is round.
((("something" "eats" "cat" "+")) -> ("cat" "is" "round" "+"))
The lion chases the bear.
True
1
proof
[(triple9)]
("lion" "chases" "bear" "+")
triple9
The tiger is kind.
False
1
inv-proof
[(triple15)]
("tiger" "is" "kind" "+")
triple15
The bear eats the tiger.
True
2
proof
[(((triple2) -> rule2))]
("bear" "eats" "tiger" "+")
((triple2) -> (rule2 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The bear does not eat the tiger.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "eats" "tiger" "-")
((triple2) -> (rule2 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger does not chase the bear.
True
4
proof
[(((((triple2) -> rule2) triple16) -> rule4))]
("tiger" "chases" "bear" "-")
((((triple2) -> (rule2 % int2)) triple16) -> (rule4 % int1))
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The tiger chases the bear.
False
4
inv-proof
[(((((triple2) -> rule2) triple16) -> rule4))]
("tiger" "chases" "bear" "+")
((((triple2) -> (rule2 % int2)) triple16) -> (rule4 % int1))
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "round" "-")
The tiger eats the tiger.
Unknown
rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "tiger" "+")
The lion does not eat the tiger.
Unknown
inv-rconc
[@1: The lion eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "tiger" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The cat visits the bear.
Unknown
random
[@0: The cat visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear does not visit the lion.[(triple5)] The bear is blue.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The cat chases the bear.[(triple6)] The cat chases the tiger.[(triple7)] The cat is not blue.[(triple8)] The lion chases the bear.[(triple9)] The lion is young.[(triple10)] The lion visits the bear.[(triple11)] The lion visits the tiger.[(triple12)] The tiger eats the lion.[(triple13)] The tiger is not blue.[(triple14)] The tiger is not kind.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear eats the tiger.[(((triple2) -> rule2))] @2: The tiger does not chase the bear.[(((((triple2) -> rule2) triple16) -> rule4))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not visit the lion.
("bear" "visits" "lion" "-")
triple5
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple7
The cat is not blue.
("cat" "is" "blue" "-")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
The lion visits the bear.
("lion" "visits" "bear" "+")
triple11
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple12
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple13
The tiger is not blue.
("tiger" "is" "blue" "-")
triple14
The tiger is not kind.
("tiger" "is" "kind" "-")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple16
The bear eats the tiger.
("bear" "eats" "tiger" "+")
((triple2) -> (rule2 % int1))
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int1
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
((((triple2) -> (rule2 % int2)) triple16) -> (rule4 % int1))
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
int2