The lion is rough. The rabbit visits the tiger. The squirrel is red. The tiger is rough. If something likes the lion and it visits the lion then it visits the squirrel. If something is rough then it visits the rabbit.
The lion is rough.
("lion" "is" "rough" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something likes the lion and it visits the lion then it visits the squirrel.
((("something" "likes" "lion" "+") ("something" "visits" "lion" "+")) -> ("something" "visits" "squirrel" "+"))
If something is rough then it visits the rabbit.
((("something" "is" "rough" "+")) -> ("something" "visits" "rabbit" "+"))
The rabbit visits the tiger.
True
1
proof
[(triple2)]
("rabbit" "visits" "tiger" "+")
triple2
The lion is not rough.
False
1
inv-proof
[(triple1)]
("lion" "is" "rough" "-")
triple1
The tiger visits the rabbit.
True
2
proof
[(((triple4) -> rule2))]
("tiger" "visits" "rabbit" "+")
((triple4) -> (rule2 % int1))
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int1
The tiger does not visit the rabbit.
False
2
inv-proof
[(((triple4) -> rule2))]
("tiger" "visits" "rabbit" "-")
((triple4) -> (rule2 % int1))
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int1
The tiger does not visit the squirrel.
Unknown
inv-rconc
[@1: The tiger visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "squirrel" "-")
The squirrel visits the rabbit.
Unknown
rconc
[@1: The squirrel visits the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "rabbit" "+")
The squirrel does not like the rabbit.
Unknown
inv-random
[@0: The squirrel likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "rabbit" "-")
The lion likes the tiger.
Unknown
random
[@0: The lion likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "tiger" "+")
@0: The lion is rough.[(triple1)] The rabbit visits the tiger.[(triple2)] The squirrel is red.[(triple3)] The tiger is rough.[(triple4)] @1: The lion visits the rabbit.[(((triple1) -> rule2))] The tiger visits the rabbit.[(((triple4) -> rule2))]
The lion is rough.
("lion" "is" "rough" "+")
triple1
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
((triple1) -> (rule2 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
((triple4) -> (rule2 % int1))
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
int1