The bald eagle chases the cow. The cat needs the cow. The cow chases the bald eagle. The dog chases the cow. If someone chases the cow then the cow is rough.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
If someone chases the cow then the cow is rough.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "rough" "+"))
The cat needs the cow.
True
1
proof
[(triple2)]
("cat" "needs" "cow" "+")
triple2
The dog does not chase the cow.
False
1
inv-proof
[(triple4)]
("dog" "chases" "cow" "-")
triple4
The cow is rough.
True
2
proof
[(((triple1) -> rule1) OR ((triple4) -> rule1))]
("cow" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple4) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple4) -> rule1))]
("cow" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple4) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The dog needs the bald eagle.
Unknown
random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "+")
The cat does not eat the dog.
Unknown
inv-random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
@0: The bald eagle chases the cow.[(triple1)] The cat needs the cow.[(triple2)] The cow chases the bald eagle.[(triple3)] The dog chases the cow.[(triple4)] @1: The cow is rough.[(((triple1) -> rule1) OR ((triple4) -> rule1))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The cat needs the cow.
("cat" "needs" "cow" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The dog chases the cow.
("dog" "chases" "cow" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple4) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1