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