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