The bear does not chase the tiger. The cow eats the squirrel. The cow likes the bear. The cow does not like the tiger. The squirrel chases the tiger. The squirrel eats the bear. The tiger is blue. If something is rough then it eats the squirrel. If something likes the bear then the bear chases the cow. If something is blue then it eats the tiger. If something chases the tiger then it chases the cow. If the tiger is not rough then the tiger likes the bear. If the cow chases the bear and the cow is rough then the cow does not eat the bear. If something eats the squirrel and the squirrel does not chase the bear then the bear eats the cow. If something is red and not kind then it does not chase the tiger.
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow does not like the tiger.
("cow" "likes" "tiger" "-")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If something is rough then it eats the squirrel.
((("something" "is" "rough" "+")) -> ("something" "eats" "squirrel" "+"))
If something likes the bear then the bear chases the cow.
((("something" "likes" "bear" "+")) -> ("bear" "chases" "cow" "+"))
If something is blue then it eats the tiger.
((("something" "is" "blue" "+")) -> ("something" "eats" "tiger" "+"))
If something chases the tiger then it chases the cow.
((("something" "chases" "tiger" "+")) -> ("something" "chases" "cow" "+"))
If the tiger is not rough then the tiger likes the bear.
((("tiger" "is" "rough" "~")) -> ("tiger" "likes" "bear" "+"))
If the cow chases the bear and the cow is rough then the cow does not eat the bear.
((("cow" "chases" "bear" "+") ("cow" "is" "rough" "+")) -> ("cow" "eats" "bear" "-"))
If something eats the squirrel and the squirrel does not chase the bear then the bear eats the cow.
((("something" "eats" "squirrel" "+") ("squirrel" "chases" "bear" "~")) -> ("bear" "eats" "cow" "+"))
If something is red and not kind then it does not chase the tiger.
((("something" "is" "red" "+") ("something" "is" "kind" "~")) -> ("something" "chases" "tiger" "-"))
The cow likes the bear.
True
1
proof
[(triple3)]
("cow" "likes" "bear" "+")
triple3
The cow does not like the bear.
False
1
inv-proof
[(triple3)]
("cow" "likes" "bear" "-")
triple3
The bear chases the cow.
True
2
proof
[(((triple3) -> rule2))]
("bear" "chases" "cow" "+")
((triple3) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The squirrel does not chase the cow.
False
2
inv-proof
[(((triple5) -> rule4))]
("squirrel" "chases" "cow" "-")
((triple5) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The tiger does not eat the squirrel.
Unknown
inv-rconc
[@1: The tiger eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "squirrel" "-")
The bear eats the tiger.
Unknown
rconc
[@1: The bear eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "tiger" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The tiger chases the squirrel.
Unknown
random
[@0: The tiger chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "squirrel" "+")
@0: The bear does not chase the tiger.[(triple1)] The cow does not like the tiger.[(triple4)] The cow eats the squirrel.[(triple2)] The cow likes the bear.[(triple3)] The squirrel chases the tiger.[(triple5)] The squirrel eats the bear.[(triple6)] The tiger is blue.[(triple7)] @1: The bear chases the cow.[(((triple3) -> rule2))] The squirrel chases the cow.[(((triple5) -> rule4))] The tiger eats the tiger.[(((triple7) -> rule3))]
The bear does not chase the tiger.
("bear" "chases" "tiger" "-")
triple1
The cow does not like the tiger.
("cow" "likes" "tiger" "-")
triple4
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow likes the bear.
("cow" "likes" "bear" "+")
triple3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple6
The tiger is blue.
("tiger" "is" "blue" "+")
triple7
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple3) -> (rule2 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple5) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple7) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1