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