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