The bear chases the cow. The bear chases the mouse. The bear is nice. The cow chases the lion. The cow sees the bear. The cow visits the lion. The lion is cold. The lion is nice. The lion is round. The mouse chases the bear. The mouse chases the cow. The mouse is kind. The mouse is nice. The mouse sees the cow. The mouse sees the lion. If someone is kind and they chase the bear then the bear is kind. If the mouse visits the bear then the mouse chases the lion.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is nice.
("bear" "is" "nice" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If someone is kind and they chase the bear then the bear is kind.
((("someone" "is" "kind" "+") ("someone" "chases" "bear" "+")) -> ("bear" "is" "kind" "+"))
If the mouse visits the bear then the mouse chases the lion.
((("mouse" "visits" "bear" "+")) -> ("mouse" "chases" "lion" "+"))
The lion is cold.
True
1
proof
[(triple7)]
("lion" "is" "cold" "+")
triple7
The bear is not nice.
False
1
inv-proof
[(triple3)]
("bear" "is" "nice" "-")
triple3
The mouse does not chase the lion.
Unknown
inv-rconc
[@1: The mouse chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "lion" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the mouse.[(triple2)] The bear is nice.[(triple3)] The cow chases the lion.[(triple4)] The cow sees the bear.[(triple5)] The cow visits the lion.[(triple6)] The lion is cold.[(triple7)] The lion is nice.[(triple8)] The lion is round.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the cow.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse sees the cow.[(triple14)] The mouse sees the lion.[(triple15)] @1: The bear is kind.[(((triple12 triple10) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow sees the bear.
("cow" "sees" "bear" "+")
triple5
The cow visits the lion.
("cow" "visits" "lion" "+")
triple6
The lion is cold.
("lion" "is" "cold" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion is round.
("lion" "is" "round" "+")
triple9
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple10
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple14
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple15
The bear is kind.
("bear" "is" "kind" "+")
((triple12 triple10) -> (rule1 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1