The cow likes the rabbit. The rabbit eats the cow. The tiger is blue. If something eats the cow then the cow likes the tiger.
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If something eats the cow then the cow likes the tiger.
((("something" "eats" "cow" "+")) -> ("cow" "likes" "tiger" "+"))
The cow likes the rabbit.
True
1
proof
[(triple1)]
("cow" "likes" "rabbit" "+")
triple1
The tiger is not blue.
False
1
inv-proof
[(triple3)]
("tiger" "is" "blue" "-")
triple3
The cow likes the tiger.
True
2
proof
[(((triple2) -> rule1))]
("cow" "likes" "tiger" "+")
((triple2) -> (rule1 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow does not like the tiger.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "likes" "tiger" "-")
((triple2) -> (rule1 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The tiger does not visit the cow.
Unknown
inv-random
[@0: The tiger visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "cow" "-")
The tiger eats the cow.
Unknown
random
[@0: The tiger eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cow" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The cow likes the rabbit.[(triple1)] The rabbit eats the cow.[(triple2)] The tiger is blue.[(triple3)] @1: The cow likes the tiger.[(((triple2) -> rule1))]
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple1
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple2
The tiger is blue.
("tiger" "is" "blue" "+")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple2) -> (rule1 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1