The bald eagle needs the rabbit. The cat sees the bald eagle. The dog is green. The rabbit sees the dog. If something is young and it eats the cat then the cat is green. Green things are red. If something needs the bald eagle then the bald eagle eats the rabbit.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If something is young and it eats the cat then the cat is green.
((("something" "is" "young" "+") ("something" "eats" "cat" "+")) -> ("cat" "is" "green" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something needs the bald eagle then the bald eagle eats the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
The rabbit sees the dog.
True
1
proof
[(triple4)]
("rabbit" "sees" "dog" "+")
triple4
The rabbit does not see the dog.
False
1
inv-proof
[(triple4)]
("rabbit" "sees" "dog" "-")
triple4
The dog is red.
True
2
proof
[(((triple3) -> rule2))]
("dog" "is" "red" "+")
((triple3) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("dog" "is" "red" "-")
((triple3) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bald eagle does not eat the rabbit.
Unknown
inv-rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "rabbit" "-")
The rabbit is red.
Unknown
rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "red" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The rabbit needs the dog.
Unknown
random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The cat sees the bald eagle.[(triple2)] The dog is green.[(triple3)] The rabbit sees the dog.[(triple4)] @1: The dog is red.[(((triple3) -> rule2))]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
((triple3) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1