The bear eats the cow. The bear visits the lion. The cow is red. The cow likes the bear. The lion is cold. The squirrel is blue. The squirrel is red. The squirrel likes the cow. The squirrel likes the lion. The squirrel visits the bear. All red people are kind.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The lion is cold.
("lion" "is" "cold" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
All red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
The cow likes the bear.
True
1
proof
[(triple4)]
("cow" "likes" "bear" "+")
triple4
The cow does not like the bear.
False
1
inv-proof
[(triple4)]
("cow" "likes" "bear" "-")
triple4
The cow is kind.
True
2
proof
[(((triple3) -> rule1))]
("cow" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("cow" "is" "kind" "-")
((triple3) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "kind" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "kind" "+")
The cow does not like the squirrel.
Unknown
inv-random
[@0: The cow likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "squirrel" "-")
The lion visits the bear.
Unknown
random
[@0: The lion visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear visits the lion.[(triple2)] The cow is red.[(triple3)] The cow likes the bear.[(triple4)] The lion is cold.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the cow.[(triple8)] The squirrel likes the lion.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The cow is kind.[(((triple3) -> rule1))] The squirrel is kind.[(((triple7) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear visits the lion.
("bear" "visits" "lion" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow likes the bear.
("cow" "likes" "bear" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple8
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple7) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1