The bear is nice. The bear is young. The cow chases the bear. The cow chases the lion. The cow is cold. The cow is round. The cow needs the bear. The cow needs the lion. The cow sees the bear. The cow sees the lion. The lion chases the bear. The lion is big. If someone needs the bear then the bear needs the lion. If someone chases the bear then they are cold. If someone chases the lion then the lion needs the cow.
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
If someone needs the bear then the bear needs the lion.
((("someone" "needs" "bear" "+")) -> ("bear" "needs" "lion" "+"))
If someone chases the bear then they are cold.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the lion then the lion needs the cow.
((("someone" "chases" "lion" "+")) -> ("lion" "needs" "cow" "+"))
The cow is round.
True
1
proof
[(triple6)]
("cow" "is" "round" "+")
triple6
The cow is not round.
False
1
inv-proof
[(triple6)]
("cow" "is" "round" "-")
triple6
The lion is cold.
True
2
proof
[(((triple11) -> rule2))]
("lion" "is" "cold" "+")
((triple11) -> (rule2 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The bear does not need the lion.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "needs" "lion" "-")
((triple7) -> (rule1 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "cold" "-")
The lion is round.
Unknown
random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "+")
The lion does not see the bear.
Unknown
inv-random
[@0: The lion sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "bear" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bear is nice.[(triple1)] The bear is young.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the lion.[(triple4)] The cow is cold.[(triple5 OR ((triple3) -> rule2))] The cow is round.[(triple6)] The cow needs the bear.[(triple7)] The cow needs the lion.[(triple8)] The cow sees the bear.[(triple9)] The cow sees the lion.[(triple10)] The lion chases the bear.[(triple11)] The lion is big.[(triple12)] @1: The bear needs the lion.[(((triple7) -> rule1))] The lion is cold.[(((triple11) -> rule2))] The lion needs the cow.[(((triple4) -> rule3))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The cow chases the bear.
("cow" "chases" "bear" "+")
triple3
The cow chases the lion.
("cow" "chases" "lion" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
((triple3) -> (rule2 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The cow needs the lion.
("cow" "needs" "lion" "+")
triple8
The cow sees the bear.
("cow" "sees" "bear" "+")
triple9
The cow sees the lion.
("cow" "sees" "lion" "+")
triple10
The lion chases the bear.
("lion" "chases" "bear" "+")
triple11
The lion is big.
("lion" "is" "big" "+")
triple12
The bear needs the lion.
("bear" "needs" "lion" "+")
((triple7) -> (rule1 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((triple11) -> (rule2 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
((triple4) -> (rule3 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1