The bald eagle does not like the cow. The cow eats the bald eagle. The cow is round. The squirrel is blue. The squirrel does not like the tiger. The tiger likes the bald eagle. The tiger visits the squirrel. If something is blue then it visits the cow.
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is round.
("cow" "is" "round" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something is blue then it visits the cow.
((("something" "is" "blue" "+")) -> ("something" "visits" "cow" "+"))
The tiger likes the bald eagle.
True
1
proof
[(triple6)]
("tiger" "likes" "bald eagle" "+")
triple6
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "eats" "bald eagle" "-")
triple2
The squirrel visits the cow.
True
2
proof
[(((triple4) -> rule1))]
("squirrel" "visits" "cow" "+")
((triple4) -> (rule1 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The squirrel does not visit the cow.
False
2
inv-proof
[(((triple4) -> rule1))]
("squirrel" "visits" "cow" "-")
((triple4) -> (rule1 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1
The tiger does not visit the cow.
Unknown
inv-rconc
[@1: The tiger visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "cow" "-")
The bald eagle visits the cow.
Unknown
rconc
[@1: The bald eagle visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "cow" "+")
The cow is not blue.
Unknown
inv-random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "-")
The cow visits the tiger.
Unknown
random
[@0: The cow visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "tiger" "+")
@0: The bald eagle does not like the cow.[(triple1)] The cow eats the bald eagle.[(triple2)] The cow is round.[(triple3)] The squirrel does not like the tiger.[(triple5)] The squirrel is blue.[(triple4)] The tiger likes the bald eagle.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The squirrel visits the cow.[(((triple4) -> rule1))]
The bald eagle does not like the cow.
("bald eagle" "likes" "cow" "-")
triple1
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The squirrel does not like the tiger.
("squirrel" "likes" "tiger" "-")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple4
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
((triple4) -> (rule1 % int1))
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
int1