The bald eagle is round. The cow likes the bald eagle. The dog is not red. The tiger does not chase the cow. If someone likes the bald eagle then the bald eagle does not chase the cow. If someone chases the dog then the dog does not like the tiger.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The dog is not red.
("dog" "is" "red" "-")
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
If someone likes the bald eagle then the bald eagle does not chase the cow.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "cow" "-"))
If someone chases the dog then the dog does not like the tiger.
((("someone" "chases" "dog" "+")) -> ("dog" "likes" "tiger" "-"))
The cow likes the bald eagle.
True
1
proof
[(triple2)]
("cow" "likes" "bald eagle" "+")
triple2
The tiger chases the cow.
False
1
inv-proof
[(triple4)]
("tiger" "chases" "cow" "+")
triple4
The bald eagle does not chase the cow.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "cow" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
int1
The bald eagle chases the cow.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "cow" "+")
((triple2) -> (rule1 % int1))
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
int1
The dog does not visit the bald eagle.
Unknown
inv-random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "-")
The cow chases the tiger.
Unknown
random
[@0: The cow chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "tiger" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The bald eagle is round.[(triple1)] The cow likes the bald eagle.[(triple2)] The dog is not red.[(triple3)] The tiger does not chase the cow.[(triple4)] @1: The bald eagle does not chase the cow.[(((triple2) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple2
The dog is not red.
("dog" "is" "red" "-")
triple3
The tiger does not chase the cow.
("tiger" "chases" "cow" "-")
triple4
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
int1