The cow is young. The tiger is young. The tiger sees the cow. If someone is rough and they like the cow then they like the tiger. If someone is round then they see the cow. If the cow eats the tiger then the tiger eats the cow. If someone likes the cow then the cow is round. If someone likes the tiger and they are kind then they are young. If someone sees the tiger then they like the tiger.
The cow is young.
("cow" "is" "young" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If someone is rough and they like the cow then they like the tiger.
((("someone" "is" "rough" "+") ("someone" "likes" "cow" "+")) -> ("someone" "likes" "tiger" "+"))
If someone is round then they see the cow.
((("someone" "is" "round" "+")) -> ("someone" "sees" "cow" "+"))
If the cow eats the tiger then the tiger eats the cow.
((("cow" "eats" "tiger" "+")) -> ("tiger" "eats" "cow" "+"))
If someone likes the cow then the cow is round.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "round" "+"))
If someone likes the tiger and they are kind then they are young.
((("someone" "likes" "tiger" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone sees the tiger then they like the tiger.
((("someone" "sees" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
The cow is young.
True
1
proof
[(triple1)]
("cow" "is" "young" "+")
triple1
The tiger is not young.
False
1
inv-proof
[(triple2)]
("tiger" "is" "young" "-")
triple2
The tiger does not eat the cow.
Unknown
inv-rconc
[@1: The tiger eats the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "eats" "cow" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow is young.[(triple1)] The tiger is young.[(triple2)] The tiger sees the cow.[(triple3)]
The cow is young.
("cow" "is" "young" "+")
triple1
The tiger is young.
("tiger" "is" "young" "+")
triple2
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple3