The cow eats the lion. The cow is big. The cow is cold. The cow is nice. The cow is young. The cow likes the lion. The lion eats the cow. The lion is cold. The lion is nice. The lion is young. The lion likes the cow. The lion needs the cow. If the cow likes the lion and the cow eats the lion then the lion needs the cow. If someone eats the lion and they are big then the lion needs the cow. If someone likes the lion and they need the lion then they need the cow. If someone likes the lion and they need the lion then they like the cow. If someone likes the lion then they eat the cow. If someone likes the lion then the lion is cold. If someone likes the lion and they need the lion then the lion eats the cow. If someone eats the lion and they need the lion then they like the cow.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If the cow likes the lion and the cow eats the lion then the lion needs the cow.
((("cow" "likes" "lion" "+") ("cow" "eats" "lion" "+")) -> ("lion" "needs" "cow" "+"))
If someone eats the lion and they are big then the lion needs the cow.
((("someone" "eats" "lion" "+") ("someone" "is" "big" "+")) -> ("lion" "needs" "cow" "+"))
If someone likes the lion and they need the lion then they need the cow.
((("someone" "likes" "lion" "+") ("someone" "needs" "lion" "+")) -> ("someone" "needs" "cow" "+"))
If someone likes the lion and they need the lion then they like the cow.
((("someone" "likes" "lion" "+") ("someone" "needs" "lion" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the lion then they eat the cow.
((("someone" "likes" "lion" "+")) -> ("someone" "eats" "cow" "+"))
If someone likes the lion then the lion is cold.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "cold" "+"))
If someone likes the lion and they need the lion then the lion eats the cow.
((("someone" "likes" "lion" "+") ("someone" "needs" "lion" "+")) -> ("lion" "eats" "cow" "+"))
If someone eats the lion and they need the lion then they like the cow.
((("someone" "eats" "lion" "+") ("someone" "needs" "lion" "+")) -> ("someone" "likes" "cow" "+"))
The cow likes the lion.
True
1
proof
[(triple6)]
("cow" "likes" "lion" "+")
triple6
The cow does not eat the lion.
False
1
inv-proof
[(triple1)]
("cow" "eats" "lion" "-")
triple1
The cow does not like the cow.
Unknown
inv-rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "cow" "-")
The cow needs the lion.
Unknown
random
[@0: The cow needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "lion" "+")
@0: The cow eats the lion.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow is young.[(triple5)] The cow likes the lion.[(triple6)] The lion eats the cow.[(triple7)] The lion is cold.[(triple8 OR ((triple6) -> rule6))] The lion is nice.[(triple9)] The lion is young.[(triple10)] The lion likes the cow.[(triple11)] The lion needs the cow.[(triple12 OR ((triple1 triple2) -> rule2) OR ((triple6 triple1) -> rule1))] @1: The cow eats the cow.[(((triple6) -> rule5))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the lion.
("cow" "likes" "lion" "+")
triple6
The lion eats the cow.
("lion" "eats" "cow" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
((triple6) -> (rule6 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
The lion likes the cow.
("lion" "likes" "cow" "+")
triple11
The lion needs the cow.
("lion" "needs" "cow" "+")
triple12
((triple1 triple2) -> (rule2 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1
((triple6 triple1) -> (rule1 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple6) -> (rule5 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1