The cow is big. The cow is young. The cow needs the lion. The cow does not visit the lion. The dog does not like the cow. The dog needs the cow. The dog visits the cow. The lion does not like the mouse. The lion needs the cow. The mouse is kind. If someone is young then they like the dog.
The cow is big.
("cow" "is" "big" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow does not visit the lion.
("cow" "visits" "lion" "-")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
The lion needs the cow.
("lion" "needs" "cow" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
If someone is young then they like the dog.
((("someone" "is" "young" "+")) -> ("someone" "likes" "dog" "+"))
The dog needs the cow.
True
1
proof
[(triple6)]
("dog" "needs" "cow" "+")
triple6
The dog likes the cow.
False
1
inv-proof
[(triple5)]
("dog" "likes" "cow" "+")
triple5
The cow likes the dog.
True
2
proof
[(((triple2) -> rule1))]
("cow" "likes" "dog" "+")
((triple2) -> (rule1 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow does not like the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "likes" "dog" "-")
((triple2) -> (rule1 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The mouse does not like the dog.
Unknown
inv-rconc
[@1: The mouse likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "dog" "-")
The dog likes the dog.
Unknown
rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "likes" "dog" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The cow likes the lion.
Unknown
random
[@0: The cow likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "lion" "+")
@0: The cow does not visit the lion.[(triple4)] The cow is big.[(triple1)] The cow is young.[(triple2)] The cow needs the lion.[(triple3)] The dog does not like the cow.[(triple5)] The dog needs the cow.[(triple6)] The dog visits the cow.[(triple7)] The lion does not like the mouse.[(triple8)] The lion needs the cow.[(triple9)] The mouse is kind.[(triple10)] @1: The cow likes the dog.[(((triple2) -> rule1))]
The cow does not visit the lion.
("cow" "visits" "lion" "-")
triple4
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The cow needs the lion.
("cow" "needs" "lion" "+")
triple3
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple5
The dog needs the cow.
("dog" "needs" "cow" "+")
triple6
The dog visits the cow.
("dog" "visits" "cow" "+")
triple7
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
triple8
The lion needs the cow.
("lion" "needs" "cow" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The cow likes the dog.
("cow" "likes" "dog" "+")
((triple2) -> (rule1 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1