The cow eats the lion. The cow does not need the rabbit. The dog does not eat the cow. The dog is not blue. The lion does not need the cow. The lion needs the rabbit. The rabbit needs the dog. If the cow eats the dog then the cow does not visit the rabbit. If someone needs the rabbit then they visit the dog. If someone visits the dog then they are cold. If someone is big then they eat the dog. If someone visits the rabbit then they need the dog. If someone is nice and they need the cow then the cow is round.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
The dog does not eat the cow.
("dog" "eats" "cow" "-")
The dog is not blue.
("dog" "is" "blue" "-")
The lion does not need the cow.
("lion" "needs" "cow" "-")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If the cow eats the dog then the cow does not visit the rabbit.
((("cow" "eats" "dog" "+")) -> ("cow" "visits" "rabbit" "-"))
If someone needs the rabbit then they visit the dog.
((("someone" "needs" "rabbit" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the dog then they are cold.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "cold" "+"))
If someone is big then they eat the dog.
((("someone" "is" "big" "+")) -> ("someone" "eats" "dog" "+"))
If someone visits the rabbit then they need the dog.
((("someone" "visits" "rabbit" "+")) -> ("someone" "needs" "dog" "+"))
If someone is nice and they need the cow then the cow is round.
((("someone" "is" "nice" "+") ("someone" "needs" "cow" "+")) -> ("cow" "is" "round" "+"))
The cow eats the lion.
True
1
proof
[(triple1)]
("cow" "eats" "lion" "+")
triple1
The lion does not need the rabbit.
False
1
inv-proof
[(triple6)]
("lion" "needs" "rabbit" "-")
triple6
The lion visits the dog.
True
2
proof
[(((triple6) -> rule2))]
("lion" "visits" "dog" "+")
((triple6) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion does not visit the dog.
False
2
inv-proof
[(((triple6) -> rule2))]
("lion" "visits" "dog" "-")
((triple6) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion is cold.
True
3
proof
[(((((triple6) -> rule2)) -> rule3))]
("lion" "is" "cold" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The lion is not cold.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule3))]
("lion" "is" "cold" "-")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2
The rabbit is not cold.
Unknown
inv-rconc
[@2: The rabbit is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit eats the dog.
Unknown
rconc
[@1: The rabbit eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "dog" "+")
The cow does not visit the dog.
Unknown
inv-rconc
[@1: The cow visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "dog" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The cow does not need the rabbit.[(triple2)] The cow eats the lion.[(triple1)] The dog does not eat the cow.[(triple3)] The dog is not blue.[(triple4)] The lion does not need the cow.[(triple5)] The lion needs the rabbit.[(triple6)] The rabbit needs the dog.[(triple7)] @1: The lion visits the dog.[(((triple6) -> rule2))] @2: The lion is cold.[(((((triple6) -> rule2)) -> rule3))]
The cow does not need the rabbit.
("cow" "needs" "rabbit" "-")
triple2
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The dog does not eat the cow.
("dog" "eats" "cow" "-")
triple3
The dog is not blue.
("dog" "is" "blue" "-")
triple4
The lion does not need the cow.
("lion" "needs" "cow" "-")
triple5
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The lion visits the dog.
("lion" "visits" "dog" "+")
((triple6) -> (rule2 % int1))
The lion visits the dog.
("lion" "visits" "dog" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion visits the dog.
("lion" "visits" "dog" "+")
int2