The bear eats the cat. The cat visits the bear. The tiger chases the cat. If the bear chases the cat and the bear visits the tiger then the bear is young. If something chases the tiger then the tiger visits the bear. If something is nice and it chases the cat then the cat chases the bear. If something chases the cat and the cat visits the bear then the cat is young. If something visits the cat then the cat is rough. If something visits the tiger and it is nice then it eats the cat. If something is young then it chases the bear. If something visits the tiger and it chases the tiger then the tiger eats the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
If the bear chases the cat and the bear visits the tiger then the bear is young.
((("bear" "chases" "cat" "+") ("bear" "visits" "tiger" "+")) -> ("bear" "is" "young" "+"))
If something chases the tiger then the tiger visits the bear.
((("something" "chases" "tiger" "+")) -> ("tiger" "visits" "bear" "+"))
If something is nice and it chases the cat then the cat chases the bear.
((("something" "is" "nice" "+") ("something" "chases" "cat" "+")) -> ("cat" "chases" "bear" "+"))
If something chases the cat and the cat visits the bear then the cat is young.
((("something" "chases" "cat" "+") ("cat" "visits" "bear" "+")) -> ("cat" "is" "young" "+"))
If something visits the cat then the cat is rough.
((("something" "visits" "cat" "+")) -> ("cat" "is" "rough" "+"))
If something visits the tiger and it is nice then it eats the cat.
((("something" "visits" "tiger" "+") ("something" "is" "nice" "+")) -> ("something" "eats" "cat" "+"))
If something is young then it chases the bear.
((("something" "is" "young" "+")) -> ("something" "chases" "bear" "+"))
If something visits the tiger and it chases the tiger then the tiger eats the cat.
((("something" "visits" "tiger" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "eats" "cat" "+"))
The tiger chases the cat.
True
1
proof
[(triple3)]
("tiger" "chases" "cat" "+")
triple3
The bear does not eat the cat.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cat" "-")
triple1
The cat is young.
True
3
proof
[(((triple3 triple2) -> rule4))]
("cat" "is" "young" "+")
((triple3 triple2) -> (rule4 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule4))]
("cat" "is" "young" "-")
((triple3 triple2) -> (rule4 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat chases the bear.
True
4
proof
[(((((triple3 triple2) -> rule4)) -> rule7))]
("cat" "chases" "bear" "+")
((((triple3 triple2) -> (rule4 % int2))) -> (rule7 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The cat does not chase the bear.
False
4
inv-proof
[(((((triple3 triple2) -> rule4)) -> rule7))]
("cat" "chases" "bear" "-")
((((triple3 triple2) -> (rule4 % int2))) -> (rule7 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2
The tiger does not eat the cat.
Unknown
inv-rconc
[@1: The tiger eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "eats" "cat" "-")
The cat eats the cat.
Unknown
rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "eats" "cat" "+")
The bear does not chase the bear.
Unknown
inv-rconc
[@2: The bear chases the bear.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("bear" "chases" "bear" "-")
The tiger is big.
Unknown
random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "+")
The bear does not eat the tiger.
Unknown
inv-random
[@0: The bear eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "tiger" "-")
The cat eats the tiger.
Unknown
random
[@0: The cat eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "tiger" "+")
@0: The bear eats the cat.[(triple1)] The cat visits the bear.[(triple2)] The tiger chases the cat.[(triple3)] @1: The cat is young.[(((triple3 triple2) -> rule4))] @2: The cat chases the bear.[(((((triple3 triple2) -> rule4)) -> rule7))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The cat visits the bear.
("cat" "visits" "bear" "+")
triple2
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
((triple3 triple2) -> (rule4 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
((((triple3 triple2) -> (rule4 % int2))) -> (rule7 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat is young.
("cat" "is" "young" "+")
int2