The bald eagle does not see the tiger. The cow chases the squirrel. The cow chases the tiger. The cow is nice. The cow is rough. The squirrel does not chase the cow. The squirrel is red. The squirrel does not visit the tiger. The tiger sees the cow. The tiger visits the bald eagle. If something visits the bald eagle then the bald eagle chases the cow. If something is rough and it sees the tiger then the tiger does not see the squirrel. If the squirrel chases the cow then the cow visits the squirrel.
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel does not visit the tiger.
("squirrel" "visits" "tiger" "-")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If something visits the bald eagle then the bald eagle chases the cow.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "cow" "+"))
If something is rough and it sees the tiger then the tiger does not see the squirrel.
((("something" "is" "rough" "+") ("something" "sees" "tiger" "+")) -> ("tiger" "sees" "squirrel" "-"))
If the squirrel chases the cow then the cow visits the squirrel.
((("squirrel" "chases" "cow" "+")) -> ("cow" "visits" "squirrel" "+"))
The squirrel does not visit the tiger.
True
1
proof
[(triple8)]
("squirrel" "visits" "tiger" "-")
triple8
The squirrel is not red.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "red" "-")
triple7
The bald eagle chases the cow.
True
2
proof
[(((triple10) -> rule1))]
("bald eagle" "chases" "cow" "+")
((triple10) -> (rule1 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle does not chase the cow.
False
2
inv-proof
[(((triple10) -> rule1))]
("bald eagle" "chases" "cow" "-")
((triple10) -> (rule1 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The cow does not visit the squirrel.
Unknown
inv-rconc
[@1: The cow visits the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "squirrel" "-")
The bald eagle visits the cow.
Unknown
random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "+")
The tiger does not see the bald eagle.
Unknown
inv-random
[@0: The tiger sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bald eagle" "-")
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 see the tiger.[(triple1)] The cow chases the squirrel.[(triple2)] The cow chases the tiger.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The squirrel does not chase the cow.[(triple6)] The squirrel does not visit the tiger.[(triple8)] The squirrel is red.[(triple7)] The tiger sees the cow.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle chases the cow.[(((triple10) -> rule1))]
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple6
The squirrel does not visit the tiger.
("squirrel" "visits" "tiger" "-")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple9
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
((triple10) -> (rule1 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1