The bald eagle sees the tiger. The cow is red. The squirrel sees the cow. The tiger is red. If something visits the cow and the cow sees the tiger then the tiger chases the squirrel. If something sees the bald eagle then it is rough. If something sees the cow then the cow is young. If something sees the squirrel then the squirrel chases the cow. If something sees the tiger then the tiger chases the cow. If something is rough then it chases the cow.
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cow is red.
("cow" "is" "red" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The tiger is red.
("tiger" "is" "red" "+")
If something visits the cow and the cow sees the tiger then the tiger chases the squirrel.
((("something" "visits" "cow" "+") ("cow" "sees" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If something sees the bald eagle then it is rough.
((("something" "sees" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something sees the cow then the cow is young.
((("something" "sees" "cow" "+")) -> ("cow" "is" "young" "+"))
If something sees the squirrel then the squirrel chases the cow.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
If something sees the tiger then the tiger chases the cow.
((("something" "sees" "tiger" "+")) -> ("tiger" "chases" "cow" "+"))
If something is rough then it chases the cow.
((("something" "is" "rough" "+")) -> ("something" "chases" "cow" "+"))
The tiger is red.
True
1
proof
[(triple4)]
("tiger" "is" "red" "+")
triple4
The squirrel does not see the cow.
False
1
inv-proof
[(triple3)]
("squirrel" "sees" "cow" "-")
triple3
The bald eagle does not chase the cow.
Unknown
inv-rconc
[@2: The bald eagle chases the cow.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("bald eagle" "chases" "cow" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle sees the tiger.[(triple1)] The cow is red.[(triple2)] The squirrel sees the cow.[(triple3)] The tiger is red.[(triple4)] @1: The cow is young.[(((triple3) -> rule3))] The tiger chases the cow.[(((triple1) -> rule5))]
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple3
The tiger is red.
("tiger" "is" "red" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
((triple3) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
((triple1) -> (rule5 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1