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