The bald eagle eats the cat. The bald eagle visits the dog. The cat eats the bald eagle. The cat eats the dog. The cat is nice. The dog does not need the bald eagle. The rabbit needs the dog. If someone needs the rabbit and they are green then the rabbit needs the cat. If someone visits the rabbit then they need the rabbit. If someone needs the dog then they do not need the rabbit. If someone needs the dog then the dog is red. If someone eats the bald eagle then they need the dog. If someone needs the bald eagle and the bald eagle visits the rabbit then they visit the bald eagle. If the cat is not young then the cat is not nice. If someone needs the rabbit and they eat the cat then the cat visits the rabbit.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is nice.
("cat" "is" "nice" "+")
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone needs the rabbit and they are green then the rabbit needs the cat.
((("someone" "needs" "rabbit" "+") ("someone" "is" "green" "+")) -> ("rabbit" "needs" "cat" "+"))
If someone visits the rabbit then they need the rabbit.
((("someone" "visits" "rabbit" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone needs the dog then they do not need the rabbit.
((("someone" "needs" "dog" "+")) -> ("someone" "needs" "rabbit" "-"))
If someone needs the dog then the dog is red.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone eats the bald eagle then they need the dog.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the bald eagle and the bald eagle visits the rabbit then they visit the bald eagle.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "visits" "rabbit" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the cat is not young then the cat is not nice.
((("cat" "is" "young" "~")) -> ("cat" "is" "nice" "-"))
If someone needs the rabbit and they eat the cat then the cat visits the rabbit.
((("someone" "needs" "rabbit" "+") ("someone" "eats" "cat" "+")) -> ("cat" "visits" "rabbit" "+"))
The bald eagle eats the cat.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cat" "+")
triple1
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("cat" "eats" "bald eagle" "-")
triple3
The cat needs the dog.
True
2
proof
[(((triple3) -> rule5))]
("cat" "needs" "dog" "+")
((triple3) -> (rule5 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cat does not need the dog.
False
2
inv-proof
[(((triple3) -> rule5))]
("cat" "needs" "dog" "-")
((triple3) -> (rule5 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The rabbit does not need the cat.
Unknown
inv-rconc
[@1: The rabbit needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "cat" "-")
The cat visits the rabbit.
Unknown
rconc
[@2: The cat visits the rabbit.[CWA. Example of deepest failure = (rule8 <- rule2 <- FAIL)]]
("cat" "visits" "rabbit" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit eats the cat.
Unknown
random
[@0: The rabbit eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cat" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle visits the dog.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat eats the dog.[(triple4)] The cat is nice.[(triple5)] The dog does not need the bald eagle.[(triple6)] The rabbit needs the dog.[(triple7)] @1: The cat needs the dog.[(((triple3) -> rule5))] The dog is red.[(((triple7) -> rule4) OR ((((triple3) -> rule5)) -> rule4))] The rabbit does not need the rabbit.[(((triple7) -> rule3))] @2: The cat does not need the rabbit.[(((((triple3) -> rule5)) -> rule3))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat eats the dog.
("cat" "eats" "dog" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The cat needs the dog.
("cat" "needs" "dog" "+")
((triple3) -> (rule5 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple7) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((((triple3) -> (rule5 % int2))) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
((triple7) -> (rule3 % int1))
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
int1
The cat does not need the rabbit.
("cat" "needs" "rabbit" "-")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The cat does not need the rabbit.
("cat" "needs" "rabbit" "-")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2