The bear likes the tiger. The cat is young. The mouse sees the cat. The tiger likes the bear. If something sees the tiger and the tiger chases the cat then it is blue. If something is young then it likes the cat.
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The cat is young.
("cat" "is" "young" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If something sees the tiger and the tiger chases the cat then it is blue.
((("something" "sees" "tiger" "+") ("tiger" "chases" "cat" "+")) -> ("something" "is" "blue" "+"))
If something is young then it likes the cat.
((("something" "is" "young" "+")) -> ("something" "likes" "cat" "+"))
The cat is young.
True
1
proof
[(triple2)]
("cat" "is" "young" "+")
triple2
The bear does not like the tiger.
False
1
inv-proof
[(triple1)]
("bear" "likes" "tiger" "-")
triple1
The cat likes the cat.
True
2
proof
[(((triple2) -> rule2))]
("cat" "likes" "cat" "+")
((triple2) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat does not like the cat.
False
2
inv-proof
[(((triple2) -> rule2))]
("cat" "likes" "cat" "-")
((triple2) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The bear does not like the cat.
Unknown
inv-rconc
[@1: The bear likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "cat" "-")
The mouse is blue.
Unknown
rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "blue" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The tiger chases the cat.
Unknown
random
[@0: The tiger chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cat" "+")
@0: The bear likes the tiger.[(triple1)] The cat is young.[(triple2)] The mouse sees the cat.[(triple3)] The tiger likes the bear.[(triple4)] @1: The cat likes the cat.[(((triple2) -> rule2))]
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple3
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple4
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple2) -> (rule2 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1