The bear needs the lion. The bear needs the rabbit. The bear visits the cow. The cow needs the bear. The cow visits the bear. The lion is not big. The lion visits the bear. The lion visits the cow. The lion visits the rabbit. The rabbit is green. The rabbit is red. The rabbit visits the lion. If someone needs the rabbit and they need the bear then they visit the rabbit. If the rabbit chases the bear then the bear needs the rabbit. If someone chases the bear and they need the rabbit then the rabbit chases the cow. If someone is nice and not rough then they chase the cow. If someone needs the lion then the lion chases the rabbit. If someone needs the lion and the lion does not need the cow then the lion chases the rabbit. If someone chases the rabbit and they are not big then they chase the bear. If someone visits the rabbit then they chase the lion.
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The lion is not big.
("lion" "is" "big" "-")
The lion visits the bear.
("lion" "visits" "bear" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone needs the rabbit and they need the bear then they visit the rabbit.
((("someone" "needs" "rabbit" "+") ("someone" "needs" "bear" "+")) -> ("someone" "visits" "rabbit" "+"))
If the rabbit chases the bear then the bear needs the rabbit.
((("rabbit" "chases" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If someone chases the bear and they need the rabbit then the rabbit chases the cow.
((("someone" "chases" "bear" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If someone is nice and not rough then they chase the cow.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "~")) -> ("someone" "chases" "cow" "+"))
If someone needs the lion then the lion chases the rabbit.
((("someone" "needs" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
If someone needs the lion and the lion does not need the cow then the lion chases the rabbit.
((("someone" "needs" "lion" "+") ("lion" "needs" "cow" "~")) -> ("lion" "chases" "rabbit" "+"))
If someone chases the rabbit and they are not big then they chase the bear.
((("someone" "chases" "rabbit" "+") ("someone" "is" "big" "~")) -> ("someone" "chases" "bear" "+"))
If someone visits the rabbit then they chase the lion.
((("someone" "visits" "rabbit" "+")) -> ("someone" "chases" "lion" "+"))
The cow visits the bear.
True
1
proof
[(triple5)]
("cow" "visits" "bear" "+")
triple5
The lion does not visit the rabbit.
False
1
inv-proof
[(triple9)]
("lion" "visits" "rabbit" "-")
triple9
The lion chases the lion.
True
2
proof
[(((triple9) -> rule8))]
("lion" "chases" "lion" "+")
((triple9) -> (rule8 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion does not chase the rabbit.
False
2
inv-proof
[(((triple1) -> rule5))]
("lion" "chases" "rabbit" "-")
((triple1) -> (rule5 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion chases the bear.
True
4
proof
[(((((triple1) -> rule5) triple6) -> rule7))]
("lion" "chases" "bear" "+")
((((triple1) -> (rule5 % int2)) triple6) -> (rule7 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The lion does not chase the bear.
False
4
inv-proof
[(((((triple1) -> rule5) triple6) -> rule7))]
("lion" "chases" "bear" "-")
((((triple1) -> (rule5 % int2)) triple6) -> (rule7 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2
The cow does not chase the lion.
Unknown
inv-rconc
[@2: The cow chases the lion.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("cow" "chases" "lion" "-")
The bear visits the rabbit.
Unknown
rconc
[@1: The bear visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "rabbit" "+")
The cow does not visit the rabbit.
Unknown
inv-rconc
[@1: The cow visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "visits" "rabbit" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bear needs the lion.[(triple1)] The bear needs the rabbit.[(triple2)] The bear visits the cow.[(triple3)] The cow needs the bear.[(triple4)] The cow visits the bear.[(triple5)] The lion is not big.[(triple6)] The lion visits the bear.[(triple7)] The lion visits the cow.[(triple8)] The lion visits the rabbit.[(triple9)] The rabbit is green.[(triple10)] The rabbit is red.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The lion chases the lion.[(((triple9) -> rule8))] The lion chases the rabbit.[(((triple1) -> rule5))] @2: The lion chases the bear.[(((((triple1) -> rule5) triple6) -> rule7))]
The bear needs the lion.
("bear" "needs" "lion" "+")
triple1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple2
The bear visits the cow.
("bear" "visits" "cow" "+")
triple3
The cow needs the bear.
("cow" "needs" "bear" "+")
triple4
The cow visits the bear.
("cow" "visits" "bear" "+")
triple5
The lion is not big.
("lion" "is" "big" "-")
triple6
The lion visits the bear.
("lion" "visits" "bear" "+")
triple7
The lion visits the cow.
("lion" "visits" "cow" "+")
triple8
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple9) -> (rule8 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
((triple1) -> (rule5 % int1))
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
((((triple1) -> (rule5 % int2)) triple6) -> (rule7 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
int2