The cow eats the lion. The cow is blue. The cow is not rough. The cow does not like the lion. The cow does not visit the lion. The lion does not eat the cow. The lion is blue. The lion is cold. The lion is kind. The lion is rough. The lion likes the cow. The lion visits the cow. If someone is blue then they visit the cow.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow does not like the lion.
("cow" "likes" "lion" "-")
The cow does not visit the lion.
("cow" "visits" "lion" "-")
The lion does not eat the cow.
("lion" "eats" "cow" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If someone is blue then they visit the cow.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "cow" "+"))
The lion does not eat the cow.
True
1
proof
[(triple6)]
("lion" "eats" "cow" "-")
triple6
The lion does not like the cow.
False
1
inv-proof
[(triple11)]
("lion" "likes" "cow" "-")
triple11
The cow visits the cow.
True
2
proof
[(((triple2) -> rule1))]
("cow" "visits" "cow" "+")
((triple2) -> (rule1 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "visits" "cow" "-")
((triple2) -> (rule1 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cow does not like the lion.[(triple4)] The cow does not visit the lion.[(triple5)] The cow eats the lion.[(triple1)] The cow is blue.[(triple2)] The cow is not rough.[(triple3)] The lion does not eat the cow.[(triple6)] The lion is blue.[(triple7)] The lion is cold.[(triple8)] The lion is kind.[(triple9)] The lion is rough.[(triple10)] The lion likes the cow.[(triple11)] The lion visits the cow.[(triple12 OR ((triple7) -> rule1))] @1: The cow visits the cow.[(((triple2) -> rule1))]
The cow does not like the lion.
("cow" "likes" "lion" "-")
triple4
The cow does not visit the lion.
("cow" "visits" "lion" "-")
triple5
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is not rough.
("cow" "is" "rough" "-")
triple3
The lion does not eat the cow.
("lion" "eats" "cow" "-")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is kind.
("lion" "is" "kind" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The lion likes the cow.
("lion" "likes" "cow" "+")
triple11
The lion visits the cow.
("lion" "visits" "cow" "+")
triple12
((triple7) -> (rule1 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple2) -> (rule1 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1