The bald eagle eats the dog. The bald eagle eats the rabbit. The bald eagle visits the rabbit. The dog chases the bald eagle. The dog is red. The dog is round. The rabbit eats the bald eagle. The rabbit eats the dog. The rabbit is not green. The rabbit is round. If something is round then it does not chase the rabbit.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
If something is round then it does not chase the rabbit.
((("something" "is" "round" "+")) -> ("something" "chases" "rabbit" "-"))
The dog is red.
True
1
proof
[(triple5)]
("dog" "is" "red" "+")
triple5
The rabbit is not round.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "round" "-")
triple10
The rabbit does not chase the rabbit.
True
2
proof
[(((triple10) -> rule1))]
("rabbit" "chases" "rabbit" "-")
((triple10) -> (rule1 % int1))
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
int1
The dog chases the rabbit.
False
2
inv-proof
[(((triple6) -> rule1))]
("dog" "chases" "rabbit" "+")
((triple6) -> (rule1 % int1))
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
int1
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The rabbit does not chase the dog.
Unknown
inv-random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog is red.[(triple5)] The dog is round.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit is not green.[(triple9)] The rabbit is round.[(triple10)] @1: The dog does not chase the rabbit.[(((triple6) -> rule1))] The rabbit does not chase the rabbit.[(((triple10) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple7
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple8
The rabbit is not green.
("rabbit" "is" "green" "-")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
((triple6) -> (rule1 % int1))
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
int1
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
((triple10) -> (rule1 % int1))
The rabbit does not chase the rabbit.
("rabbit" "chases" "rabbit" "-")
int1