The cow eats the lion. The cow is blue. The cow is cold. The cow likes the lion. The cow sees the lion. The lion eats the cow. The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion likes the cow. The lion sees the cow. If the lion likes the cow then the cow sees the lion. If something is red and blue then it eats the cow. If something eats the cow then it is red.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If the lion likes the cow then the cow sees the lion.
((("lion" "likes" "cow" "+")) -> ("cow" "sees" "lion" "+"))
If something is red and blue then it eats the cow.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "eats" "cow" "+"))
If something eats the cow then it is red.
((("something" "eats" "cow" "+")) -> ("something" "is" "red" "+"))
The cow is blue.
True
1
proof
[(triple2)]
("cow" "is" "blue" "+")
triple2
The cow does not eat the lion.
False
1
inv-proof
[(triple1)]
("cow" "eats" "lion" "-")
triple1
The cow does not eat the cow.
Unknown
inv-rconc
[@2: The cow eats the cow.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("cow" "eats" "cow" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The cow eats the lion.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow likes the lion.[(triple4)] The cow sees the lion.[(triple5 OR ((triple11) -> rule1))] The lion eats the cow.[(triple6 OR ((triple10 triple7) -> rule2))] The lion is blue.[(triple7)] The lion is cold.[(triple8)] The lion is nice.[(triple9)] The lion is red.[(triple10 OR ((triple6) -> rule3))] The lion likes the cow.[(triple11)] The lion sees the cow.[(triple12)]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow likes the lion.
("cow" "likes" "lion" "+")
triple4
The cow sees the lion.
("cow" "sees" "lion" "+")
triple5
((triple11) -> (rule1 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
triple6
((triple10 triple7) -> (rule2 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple9
The lion is red.
("lion" "is" "red" "+")
triple10
((triple6) -> (rule3 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion likes the cow.
("lion" "likes" "cow" "+")
triple11
The lion sees the cow.
("lion" "sees" "cow" "+")
triple12