The cow chases the lion. The cow is big. The cow is nice. The cow likes the lion. The cow visits the lion. The lion chases the cow. The lion is big. The lion is green. The lion is rough. The lion likes the cow. If someone is green and they chase the cow then they are young. If someone is rough and young then they visit the lion. If someone visits the cow and the cow visits the lion then they like the cow.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
If someone is green and they chase the cow then they are young.
((("someone" "is" "green" "+") ("someone" "chases" "cow" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and young then they visit the lion.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the cow and the cow visits the lion then they like the cow.
((("someone" "visits" "cow" "+") ("cow" "visits" "lion" "+")) -> ("someone" "likes" "cow" "+"))
The cow is big.
True
1
proof
[(triple2)]
("cow" "is" "big" "+")
triple2
The cow does not chase the lion.
False
1
inv-proof
[(triple1)]
("cow" "chases" "lion" "-")
triple1
The lion is young.
True
3
proof
[(((triple8 triple6) -> rule1))]
("lion" "is" "young" "+")
((triple8 triple6) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
3
inv-proof
[(((triple8 triple6) -> rule1))]
("lion" "is" "young" "-")
((triple8 triple6) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion visits the lion.
True
5
proof
[(((triple9 ((triple8 triple6) -> rule1)) -> rule2))]
("lion" "visits" "lion" "+")
((triple9 ((triple8 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The lion does not visit the lion.
False
5
inv-proof
[(((triple9 ((triple8 triple6) -> rule1)) -> rule2))]
("lion" "visits" "lion" "-")
((triple9 ((triple8 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "young" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "cow" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The lion does not visit the cow.
Unknown
inv-random
[@0: The lion visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "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 chases the lion.[(triple1)] The cow is big.[(triple2)] The cow is nice.[(triple3)] The cow likes the lion.[(triple4)] The cow visits the lion.[(triple5)] The lion chases the cow.[(triple6)] The lion is big.[(triple7)] The lion is green.[(triple8)] The lion is rough.[(triple9)] The lion likes the cow.[(triple10)] @1: The lion is young.[(((triple8 triple6) -> rule1))] @2: The lion visits the lion.[(((triple9 ((triple8 triple6) -> rule1)) -> rule2))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow likes the lion.
("cow" "likes" "lion" "+")
triple4
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The lion chases the cow.
("lion" "chases" "cow" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is green.
("lion" "is" "green" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion likes the cow.
("lion" "likes" "cow" "+")
triple10
The lion is young.
("lion" "is" "young" "+")
((triple8 triple6) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple9 ((triple8 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion is young.
("lion" "is" "young" "+")
int2