The bear likes the lion. The cow eats the squirrel. The lion chases the cow. The squirrel chases the lion. If someone likes the squirrel and they eat the cow then they are not green. If someone chases the squirrel then they are not red. If someone eats the squirrel then the squirrel is kind. Rough people are round. If someone eats the cow and they chase the cow then the cow is not red. If the cow does not chase the squirrel and the cow is not round then the squirrel does not chase the cow.
The bear likes the lion.
("bear" "likes" "lion" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
If someone likes the squirrel and they eat the cow then they are not green.
((("someone" "likes" "squirrel" "+") ("someone" "eats" "cow" "+")) -> ("someone" "is" "green" "-"))
If someone chases the squirrel then they are not red.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "red" "-"))
If someone eats the squirrel then the squirrel is kind.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone eats the cow and they chase the cow then the cow is not red.
((("someone" "eats" "cow" "+") ("someone" "chases" "cow" "+")) -> ("cow" "is" "red" "-"))
If the cow does not chase the squirrel and the cow is not round then the squirrel does not chase the cow.
((("cow" "chases" "squirrel" "~") ("cow" "is" "round" "~")) -> ("squirrel" "chases" "cow" "-"))
The lion chases the cow.
True
1
proof
[(triple3)]
("lion" "chases" "cow" "+")
triple3
The bear does not like the lion.
False
1
inv-proof
[(triple1)]
("bear" "likes" "lion" "-")
triple1
The squirrel is kind.
True
2
proof
[(((triple2) -> rule3))]
("squirrel" "is" "kind" "+")
((triple2) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple2) -> rule3))]
("squirrel" "is" "kind" "-")
((triple2) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not round.
Unknown
inv-rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "round" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "round" "+")
The lion does not like the squirrel.
Unknown
inv-random
[@0: The lion likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "squirrel" "-")
The squirrel eats the bear.
Unknown
random
[@0: The squirrel eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bear" "+")
@0: The bear likes the lion.[(triple1)] The cow eats the squirrel.[(triple2)] The lion chases the cow.[(triple3)] The squirrel chases the lion.[(triple4)] @1: The squirrel is kind.[(((triple2) -> rule3))]
The bear likes the lion.
("bear" "likes" "lion" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The lion chases the cow.
("lion" "chases" "cow" "+")
triple3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple2) -> (rule3 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1