The bear likes the cow. The bear visits the cow. The bear visits the lion. The cow is round. The cow likes the lion. The cow sees the bear. The cow sees the lion. The lion is kind. The lion likes the bear. The lion likes the cow. The lion visits the bear. The lion visits the cow. If something sees the lion and it is big then the lion sees the cow. If the bear likes the lion then the lion visits the cow. If the cow is young and the cow is rough then the cow is kind. If the cow likes the lion then the lion is rough. If something visits the bear then the bear sees the cow. Young things are big.
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If something sees the lion and it is big then the lion sees the cow.
((("something" "sees" "lion" "+") ("something" "is" "big" "+")) -> ("lion" "sees" "cow" "+"))
If the bear likes the lion then the lion visits the cow.
((("bear" "likes" "lion" "+")) -> ("lion" "visits" "cow" "+"))
If the cow is young and the cow is rough then the cow is kind.
((("cow" "is" "young" "+") ("cow" "is" "rough" "+")) -> ("cow" "is" "kind" "+"))
If the cow likes the lion then the lion is rough.
((("cow" "likes" "lion" "+")) -> ("lion" "is" "rough" "+"))
If something visits the bear then the bear sees the cow.
((("something" "visits" "bear" "+")) -> ("bear" "sees" "cow" "+"))
Young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
The lion visits the bear.
True
1
proof
[(triple11)]
("lion" "visits" "bear" "+")
triple11
The lion does not visit the cow.
False
1
inv-proof
[(triple12)]
("lion" "visits" "cow" "-")
triple12
The lion is rough.
True
2
proof
[(((triple5) -> rule4))]
("lion" "is" "rough" "+")
((triple5) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The bear does not see the cow.
False
2
inv-proof
[(((triple11) -> rule5))]
("bear" "sees" "cow" "-")
((triple11) -> (rule5 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "is" "big" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "kind" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The bear likes the lion.
Unknown
random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "+")
@0: The bear likes the cow.[(triple1)] The bear visits the cow.[(triple2)] The bear visits the lion.[(triple3)] The cow is round.[(triple4)] The cow likes the lion.[(triple5)] The cow sees the bear.[(triple6)] The cow sees the lion.[(triple7)] The lion is kind.[(triple8)] The lion likes the bear.[(triple9)] The lion likes the cow.[(triple10)] The lion visits the bear.[(triple11)] The lion visits the cow.[(triple12)] @1: The bear sees the cow.[(((triple11) -> rule5))] The lion is rough.[(((triple5) -> rule4))]
The bear likes the cow.
("bear" "likes" "cow" "+")
triple1
The bear visits the cow.
("bear" "visits" "cow" "+")
triple2
The bear visits the lion.
("bear" "visits" "lion" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow likes the lion.
("cow" "likes" "lion" "+")
triple5
The cow sees the bear.
("cow" "sees" "bear" "+")
triple6
The cow sees the lion.
("cow" "sees" "lion" "+")
triple7
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
The lion likes the cow.
("lion" "likes" "cow" "+")
triple10
The lion visits the bear.
("lion" "visits" "bear" "+")
triple11
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
The bear sees the cow.
("bear" "sees" "cow" "+")
((triple11) -> (rule5 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple5) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1