The bear is kind. The cow chases the lion. The cow visits the bear. The dog chases the lion. The dog is kind. The dog is rough. The dog sees the lion. The lion chases the cow. The lion is kind. The lion is young. The lion visits the bear. The lion visits the dog. If something is young then it is cold.
The bear is kind.
("bear" "is" "kind" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
The cow visits the bear.
True
1
proof
[(triple3)]
("cow" "visits" "bear" "+")
triple3
The lion does not visit the bear.
False
1
inv-proof
[(triple11)]
("lion" "visits" "bear" "-")
triple11
The lion is cold.
True
2
proof
[(((triple10) -> rule1))]
("lion" "is" "cold" "+")
((triple10) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not cold.
False
2
inv-proof
[(((triple10) -> rule1))]
("lion" "is" "cold" "-")
((triple10) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "cold" "-")
The dog is cold.
Unknown
rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "cold" "+")
The dog does not visit the bear.
Unknown
inv-random
[@0: The dog visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bear" "-")
The cow visits the lion.
Unknown
random
[@0: The cow visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "lion" "+")
@0: The bear is kind.[(triple1)] The cow chases the lion.[(triple2)] The cow visits the bear.[(triple3)] The dog chases the lion.[(triple4)] The dog is kind.[(triple5)] The dog is rough.[(triple6)] The dog sees the lion.[(triple7)] The lion chases the cow.[(triple8)] The lion is kind.[(triple9)] The lion is young.[(triple10)] The lion visits the bear.[(triple11)] The lion visits the dog.[(triple12)] @1: The lion is cold.[(((triple10) -> rule1))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The cow chases the lion.
("cow" "chases" "lion" "+")
triple2
The cow visits the bear.
("cow" "visits" "bear" "+")
triple3
The dog chases the lion.
("dog" "chases" "lion" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog sees the lion.
("dog" "sees" "lion" "+")
triple7
The lion chases the cow.
("lion" "chases" "cow" "+")
triple8
The lion is kind.
("lion" "is" "kind" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
The lion visits the bear.
("lion" "visits" "bear" "+")
triple11
The lion visits the dog.
("lion" "visits" "dog" "+")
triple12
The lion is cold.
("lion" "is" "cold" "+")
((triple10) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1