The cow chases the lion. The cow is not big. The cow is blue. The cow is green. The cow is not nice. The cow is not round. The cow likes the lion. The cow needs the lion. The lion chases the cow. The lion is blue. The lion is round. The lion needs the cow. If something is green then it likes the cow.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is not big.
("cow" "is" "big" "-")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is not round.
("cow" "is" "round" "-")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If something is green then it likes the cow.
((("something" "is" "green" "+")) -> ("something" "likes" "cow" "+"))
The lion is round.
True
1
proof
[(triple11)]
("lion" "is" "round" "+")
triple11
The cow is not green.
False
1
inv-proof
[(triple4)]
("cow" "is" "green" "-")
triple4
The cow likes the cow.
True
2
proof
[(((triple4) -> rule1))]
("cow" "likes" "cow" "+")
((triple4) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow does not like the cow.
False
2
inv-proof
[(((triple4) -> rule1))]
("cow" "likes" "cow" "-")
((triple4) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The lion does not like the cow.
Unknown
inv-rconc
[@1: The lion likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "cow" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The cow chases the lion.[(triple1)] The cow is blue.[(triple3)] The cow is green.[(triple4)] The cow is not big.[(triple2)] The cow is not nice.[(triple5)] The cow is not round.[(triple6)] The cow likes the lion.[(triple7)] The cow needs the lion.[(triple8)] The lion chases the cow.[(triple9)] The lion is blue.[(triple10)] The lion is round.[(triple11)] The lion needs the cow.[(triple12)] @1: The cow likes the cow.[(((triple4) -> rule1))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple3
The cow is green.
("cow" "is" "green" "+")
triple4
The cow is not big.
("cow" "is" "big" "-")
triple2
The cow is not nice.
("cow" "is" "nice" "-")
triple5
The cow is not round.
("cow" "is" "round" "-")
triple6
The cow likes the lion.
("cow" "likes" "lion" "+")
triple7
The cow needs the lion.
("cow" "needs" "lion" "+")
triple8
The lion chases the cow.
("lion" "chases" "cow" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion is round.
("lion" "is" "round" "+")
triple11
The lion needs the cow.
("lion" "needs" "cow" "+")
triple12
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple4) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1