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