The cow is green. The cow is not kind. The cow does not visit the lion. The dog chases the lion. The lion eats the cow. The lion is red. The lion visits the dog. If someone chases the lion and they visit the lion then they eat the cow. If someone is kind then they eat the dog. If someone visits the dog and they are red then they chase the cow. If someone chases the lion and they are not kind then they are blue. If the dog chases the cow then the dog visits the cow. If someone visits the dog then they visit the cow. If someone chases the cow then the cow visits the dog. If someone eats the dog and the dog does not chase the cow then they are big.
The cow is green.
("cow" "is" "green" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The cow does not visit the lion.
("cow" "visits" "lion" "-")
The dog chases the lion.
("dog" "chases" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is red.
("lion" "is" "red" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If someone chases the lion and they visit the lion then they eat the cow.
((("someone" "chases" "lion" "+") ("someone" "visits" "lion" "+")) -> ("someone" "eats" "cow" "+"))
If someone is kind then they eat the dog.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "dog" "+"))
If someone visits the dog and they are red then they chase the cow.
((("someone" "visits" "dog" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the lion and they are not kind then they are blue.
((("someone" "chases" "lion" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "blue" "+"))
If the dog chases the cow then the dog visits the cow.
((("dog" "chases" "cow" "+")) -> ("dog" "visits" "cow" "+"))
If someone visits the dog then they visit the cow.
((("someone" "visits" "dog" "+")) -> ("someone" "visits" "cow" "+"))
If someone chases the cow then the cow visits the dog.
((("someone" "chases" "cow" "+")) -> ("cow" "visits" "dog" "+"))
If someone eats the dog and the dog does not chase the cow then they are big.
((("someone" "eats" "dog" "+") ("dog" "chases" "cow" "~")) -> ("someone" "is" "big" "+"))
The lion is red.
True
1
proof
[(triple6)]
("lion" "is" "red" "+")
triple6
The lion does not visit the dog.
False
1
inv-proof
[(triple7)]
("lion" "visits" "dog" "-")
triple7
The lion chases the cow.
True
3
proof
[(((triple7 triple6) -> rule3))]
("lion" "chases" "cow" "+")
((triple7 triple6) -> (rule3 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion does not chase the cow.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("lion" "chases" "cow" "-")
((triple7 triple6) -> (rule3 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The cow visits the dog.
True
4
proof
[(((((triple7 triple6) -> rule3)) -> rule7))]
("cow" "visits" "dog" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule7 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The cow does not visit the dog.
False
4
inv-proof
[(((((triple7 triple6) -> rule3)) -> rule7))]
("cow" "visits" "dog" "-")
((((triple7 triple6) -> (rule3 % int2))) -> (rule7 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The cow visits the cow.
True
5
proof
[(((((((triple7 triple6) -> rule3)) -> rule7)) -> rule6))]
("cow" "visits" "cow" "+")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The cow does not visit the cow.
False
5
inv-proof
[(((((((triple7 triple6) -> rule3)) -> rule7)) -> rule6))]
("cow" "visits" "cow" "-")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3
The dog does not visit the cow.
Unknown
inv-rconc
[@2: The dog visits the cow.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("dog" "visits" "cow" "-")
The dog chases the cow.
Unknown
rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "cow" "+")
The cow is not blue.
Unknown
inv-rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "blue" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "cow" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The cow does not chase the dog.
Unknown
inv-random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The cow does not visit the lion.[(triple3)] The cow is green.[(triple1)] The cow is not kind.[(triple2)] The dog chases the lion.[(triple4)] The lion eats the cow.[(triple5)] The lion is red.[(triple6)] The lion visits the dog.[(triple7)] @1: The lion chases the cow.[(((triple7 triple6) -> rule3))] The lion visits the cow.[(((triple7) -> rule6))] @2: The cow visits the dog.[(((((triple7 triple6) -> rule3)) -> rule7))] @3: The cow visits the cow.[(((((((triple7 triple6) -> rule3)) -> rule7)) -> rule6))]
The cow does not visit the lion.
("cow" "visits" "lion" "-")
triple3
The cow is green.
("cow" "is" "green" "+")
triple1
The cow is not kind.
("cow" "is" "kind" "-")
triple2
The dog chases the lion.
("dog" "chases" "lion" "+")
triple4
The lion eats the cow.
("lion" "eats" "cow" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion visits the dog.
("lion" "visits" "dog" "+")
triple7
The lion chases the cow.
("lion" "chases" "cow" "+")
((triple7 triple6) -> (rule3 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
((triple7) -> (rule6 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule7 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The lion chases the cow.
("lion" "chases" "cow" "+")
int2
The cow visits the cow.
("cow" "visits" "cow" "+")
((((((triple7 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2
The lion chases the cow.
("lion" "chases" "cow" "+")
int3