The bald eagle does not chase the rabbit. The bald eagle is blue. The bald eagle does not like the cat. The bald eagle likes the tiger. The cat eats the rabbit. The cat is blue. The rabbit is not kind. The tiger chases the bald eagle. The tiger does not eat the bald eagle. The tiger eats the rabbit. If someone chases the tiger and the tiger chases the bald eagle then they are blue. If someone eats the rabbit then the rabbit eats the tiger. If the bald eagle does not chase the cat and the bald eagle does not eat the rabbit then the rabbit likes the cat.
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
If someone chases the tiger and the tiger chases the bald eagle then they are blue.
((("someone" "chases" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the rabbit then the rabbit eats the tiger.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "tiger" "+"))
If the bald eagle does not chase the cat and the bald eagle does not eat the rabbit then the rabbit likes the cat.
((("bald eagle" "chases" "cat" "~") ("bald eagle" "eats" "rabbit" "~")) -> ("rabbit" "likes" "cat" "+"))
The bald eagle likes the tiger.
True
1
proof
[(triple4)]
("bald eagle" "likes" "tiger" "+")
triple4
The tiger eats the bald eagle.
False
1
inv-proof
[(triple9)]
("tiger" "eats" "bald eagle" "+")
triple9
The rabbit eats the tiger.
True
2
proof
[(((triple10) -> rule2) OR ((triple5) -> rule2))]
("rabbit" "eats" "tiger" "+")
((triple10) -> (rule2 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
((triple5) -> (rule2 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The rabbit does not eat the tiger.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple5) -> rule2))]
("rabbit" "eats" "tiger" "-")
((triple10) -> (rule2 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
((triple5) -> (rule2 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "blue" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "blue" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The rabbit likes the tiger.
Unknown
random
[@0: The rabbit likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "tiger" "+")
@0: The bald eagle does not chase the rabbit.[(triple1)] The bald eagle does not like the cat.[(triple3)] The bald eagle is blue.[(triple2)] The bald eagle likes the tiger.[(triple4)] The cat eats the rabbit.[(triple5)] The cat is blue.[(triple6)] The rabbit is not kind.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger does not eat the bald eagle.[(triple9)] The tiger eats the rabbit.[(triple10)] @1: The rabbit eats the tiger.[(((triple10) -> rule2) OR ((triple5) -> rule2))]
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
triple1
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple5
The cat is blue.
("cat" "is" "blue" "+")
triple6
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple7
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple8
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
triple9
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple10
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
((triple10) -> (rule2 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
((triple5) -> (rule2 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1