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