The bald eagle chases the cow. The bald eagle eats the squirrel. The bald eagle does not see the tiger. The cow chases the squirrel. The cow does not chase the tiger. The cow is not blue. The cow is red. The cow is not rough. The cow does not see the tiger. The squirrel does not eat the cow. The squirrel is cold. The squirrel sees the cow. The tiger chases the bald eagle. The tiger is blue. The tiger is cold. If something eats the squirrel and it does not see the tiger then the squirrel does not eat the tiger. If something eats the squirrel and it eats the tiger then the squirrel is young.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
The cow is not blue.
("cow" "is" "blue" "-")
The cow is red.
("cow" "is" "red" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow does not see the tiger.
("cow" "sees" "tiger" "-")
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If something eats the squirrel and it does not see the tiger then the squirrel does not eat the tiger.
((("something" "eats" "squirrel" "+") ("something" "sees" "tiger" "~")) -> ("squirrel" "eats" "tiger" "-"))
If something eats the squirrel and it eats the tiger then the squirrel is young.
((("something" "eats" "squirrel" "+") ("something" "eats" "tiger" "+")) -> ("squirrel" "is" "young" "+"))
The cow is red.
True
1
proof
[(triple7)]
("cow" "is" "red" "+")
triple7
The bald eagle does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "squirrel" "-")
triple2
The squirrel does not eat the tiger.
True
3
proof
[(((triple2 triple3) -> rule1))]
("squirrel" "eats" "tiger" "-")
((triple2 triple3) -> (rule1 % int1))
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
int1
The squirrel eats the tiger.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("squirrel" "eats" "tiger" "+")
((triple2 triple3) -> (rule1 % int1))
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
int1
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "young" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
The tiger does not chase the squirrel.
Unknown
inv-random
[@0: The tiger chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "squirrel" "-")
The bald eagle chases the squirrel.
Unknown
random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not see the tiger.[(triple3)] The bald eagle eats the squirrel.[(triple2)] The cow chases the squirrel.[(triple4)] The cow does not chase the tiger.[(triple5)] The cow does not see the tiger.[(triple9)] The cow is not blue.[(triple6)] The cow is not rough.[(triple8)] The cow is red.[(triple7)] The squirrel does not eat the cow.[(triple10)] The squirrel is cold.[(triple11)] The squirrel sees the cow.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger is blue.[(triple14)] The tiger is cold.[(triple15)] @1: The squirrel does not eat the tiger.[(((triple2 triple3) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple4
The cow does not chase the tiger.
("cow" "chases" "tiger" "-")
triple5
The cow does not see the tiger.
("cow" "sees" "tiger" "-")
triple9
The cow is not blue.
("cow" "is" "blue" "-")
triple6
The cow is not rough.
("cow" "is" "rough" "-")
triple8
The cow is red.
("cow" "is" "red" "+")
triple7
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple12
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple13
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger is cold.
("tiger" "is" "cold" "+")
triple15
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
((triple2 triple3) -> (rule1 % int1))
The squirrel does not eat the tiger.
("squirrel" "eats" "tiger" "-")
int1