The bear is young. The lion is kind. The lion sees the tiger. The squirrel likes the lion. The squirrel visits the bear. The tiger likes the bear. The tiger visits the bear. If something sees the tiger then it does not like the tiger. If something is blue and it likes the bear then the bear is cold. If something visits the tiger and it visits the squirrel then the tiger likes the bear. If something visits the lion then the lion is cold. If something likes the squirrel and the squirrel sees the tiger then it visits the lion. If something likes the lion then it sees the squirrel.
The bear is young.
("bear" "is" "young" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the tiger.
("lion" "sees" "tiger" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something sees the tiger then it does not like the tiger.
((("something" "sees" "tiger" "+")) -> ("something" "likes" "tiger" "-"))
If something is blue and it likes the bear then the bear is cold.
((("something" "is" "blue" "+") ("something" "likes" "bear" "+")) -> ("bear" "is" "cold" "+"))
If something visits the tiger and it visits the squirrel then the tiger likes the bear.
((("something" "visits" "tiger" "+") ("something" "visits" "squirrel" "+")) -> ("tiger" "likes" "bear" "+"))
If something visits the lion then the lion is cold.
((("something" "visits" "lion" "+")) -> ("lion" "is" "cold" "+"))
If something likes the squirrel and the squirrel sees the tiger then it visits the lion.
((("something" "likes" "squirrel" "+") ("squirrel" "sees" "tiger" "+")) -> ("something" "visits" "lion" "+"))
If something likes the lion then it sees the squirrel.
((("something" "likes" "lion" "+")) -> ("something" "sees" "squirrel" "+"))
The tiger likes the bear.
True
1
proof
[(triple6)]
("tiger" "likes" "bear" "+")
triple6
The tiger does not visit the bear.
False
1
inv-proof
[(triple7)]
("tiger" "visits" "bear" "-")
triple7
The squirrel sees the squirrel.
True
2
proof
[(((triple4) -> rule6))]
("squirrel" "sees" "squirrel" "+")
((triple4) -> (rule6 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The lion likes the tiger.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "likes" "tiger" "+")
((triple3) -> (rule1 % int1))
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
int1
The squirrel does not visit the lion.
Unknown
inv-rconc
[@1: The squirrel visits the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "visits" "lion" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "cold" "+")
The lion does not like the squirrel.
Unknown
inv-random
[@0: The lion likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "squirrel" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is young.[(triple1)] The lion is kind.[(triple2)] The lion sees the tiger.[(triple3)] The squirrel likes the lion.[(triple4)] The squirrel visits the bear.[(triple5)] The tiger likes the bear.[(triple6)] The tiger visits the bear.[(triple7)] @1: The lion does not like the tiger.[(((triple3) -> rule1))] The squirrel sees the squirrel.[(((triple4) -> rule6))]
The bear is young.
("bear" "is" "young" "+")
triple1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion sees the tiger.
("lion" "sees" "tiger" "+")
triple3
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple4
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple5
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple6
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple7
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
((triple3) -> (rule1 % int1))
The lion does not like the tiger.
("lion" "likes" "tiger" "-")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple4) -> (rule6 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1