The cow eats the lion. The cow is nice. The cow is red. The cow is round. The cow is young. The cow likes the lion. The cow visits the lion. The lion eats the cow. The lion is kind. The lion is nice. The lion is red. The lion is round. The lion is young. The lion likes the cow. The lion visits the cow. If something likes the lion then it likes the cow. If something likes the cow then it visits the cow. If something is kind then it eats the lion.
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If something likes the lion then it likes the cow.
((("something" "likes" "lion" "+")) -> ("something" "likes" "cow" "+"))
If something likes the cow then it visits the cow.
((("something" "likes" "cow" "+")) -> ("something" "visits" "cow" "+"))
If something is kind then it eats the lion.
((("something" "is" "kind" "+")) -> ("something" "eats" "lion" "+"))
The lion eats the cow.
True
1
proof
[(triple8)]
("lion" "eats" "cow" "+")
triple8
The cow is not young.
False
1
inv-proof
[(triple5)]
("cow" "is" "young" "-")
triple5
The cow likes the cow.
True
2
proof
[(((triple6) -> rule1))]
("cow" "likes" "cow" "+")
((triple6) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple9) -> rule3))]
("lion" "eats" "lion" "-")
((triple9) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The cow visits the cow.
True
3
proof
[(((((triple6) -> rule1)) -> rule2))]
("cow" "visits" "cow" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow does not visit the cow.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2))]
("cow" "visits" "cow" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
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 kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The cow eats the lion.[(triple1)] The cow is nice.[(triple2)] The cow is red.[(triple3)] The cow is round.[(triple4)] The cow is young.[(triple5)] The cow likes the lion.[(triple6)] The cow visits the lion.[(triple7)] The lion eats the cow.[(triple8)] The lion is kind.[(triple9)] The lion is nice.[(triple10)] The lion is red.[(triple11)] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion likes the cow.[(triple14)] The lion visits the cow.[(triple15 OR ((triple14) -> rule2))] @1: The cow likes the cow.[(((triple6) -> rule1))] The lion eats the lion.[(((triple9) -> rule3))] @2: The cow visits the cow.[(((((triple6) -> rule1)) -> rule2))]
The cow eats the lion.
("cow" "eats" "lion" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the lion.
("cow" "likes" "lion" "+")
triple6
The cow visits the lion.
("cow" "visits" "lion" "+")
triple7
The lion eats the cow.
("lion" "eats" "cow" "+")
triple8
The lion is kind.
("lion" "is" "kind" "+")
triple9
The lion is nice.
("lion" "is" "nice" "+")
triple10
The lion is red.
("lion" "is" "red" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion likes the cow.
("lion" "likes" "cow" "+")
triple14
The lion visits the cow.
("lion" "visits" "cow" "+")
triple15
((triple14) -> (rule2 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple6) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple9) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2