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