The bald eagle does not eat the bear. The bald eagle is green. The bald eagle is young. The bald eagle likes the cat. The bald eagle sees the cat. The bear eats the bald eagle. The cat is not cold. The cat is young. The cat sees the bald eagle. The cat sees the bear. If someone likes the bald eagle then the bald eagle is cold. If someone eats the bear and the bear eats the cat then they eat the bald eagle. If the bald eagle eats the bear and the bear likes the bald eagle then the bald eagle does not like the cat. If someone eats the cat then they are round. If someone eats the bald eagle and the bald eagle sees the cat then the bald eagle eats the cat. If someone is young and green then they like the bald eagle. If someone eats the bald eagle then they see the cat. If someone is green and cold then they are not nice.
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The cat is not cold.
("cat" "is" "cold" "-")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If someone likes the bald eagle then the bald eagle is cold.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone eats the bear and the bear eats the cat then they eat the bald eagle.
((("someone" "eats" "bear" "+") ("bear" "eats" "cat" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the bald eagle eats the bear and the bear likes the bald eagle then the bald eagle does not like the cat.
((("bald eagle" "eats" "bear" "+") ("bear" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "-"))
If someone eats the cat then they are round.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "round" "+"))
If someone eats the bald eagle and the bald eagle sees the cat then the bald eagle eats the cat.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "sees" "cat" "+")) -> ("bald eagle" "eats" "cat" "+"))
If someone is young and green then they like the bald eagle.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone eats the bald eagle then they see the cat.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "cat" "+"))
If someone is green and cold then they are not nice.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "-"))
The bald eagle is young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The bald eagle does not like the cat.
False
1
inv-proof
[(triple4)]
("bald eagle" "likes" "cat" "-")
triple4
The bear sees the cat.
True
2
proof
[(((triple6) -> rule7))]
("bear" "sees" "cat" "+")
((triple6) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bear does not see the cat.
False
2
inv-proof
[(((triple6) -> rule7))]
("bear" "sees" "cat" "-")
((triple6) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bald eagle is round.
True
4
proof
[(((((triple6 triple5) -> rule5)) -> rule4))]
("bald eagle" "is" "round" "+")
((((triple6 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle is not round.
False
4
inv-proof
[(((((triple6 triple5) -> rule5)) -> rule4))]
("bald eagle" "is" "round" "-")
((((triple6 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle is not nice.
True
6
proof
[(((triple2 ((((triple3 triple2) -> rule6)) -> rule1)) -> rule8))]
("bald eagle" "is" "nice" "-")
((triple2 ((((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle is nice.
False
6
inv-proof
[(((triple2 ((((triple3 triple2) -> rule6)) -> rule1)) -> rule8))]
("bald eagle" "is" "nice" "+")
((triple2 ((((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "round" "-")
The cat sees the cat.
Unknown
rconc
[@2: The cat sees the cat.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("cat" "sees" "cat" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The cat likes the bald eagle.
Unknown
rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "bald eagle" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bald eagle does not eat the bear.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle sees the cat.[(triple5)] The bear eats the bald eagle.[(triple6)] The cat is not cold.[(triple7)] The cat is young.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat sees the bear.[(triple10)] @1: The bald eagle eats the cat.[(((triple6 triple5) -> rule5))] The bald eagle likes the bald eagle.[(((triple3 triple2) -> rule6))] The bear sees the cat.[(((triple6) -> rule7))] @2: The bald eagle is cold.[(((((triple3 triple2) -> rule6)) -> rule1))] The bald eagle is round.[(((((triple6 triple5) -> rule5)) -> rule4))] @3: The bald eagle is not nice.[(((triple2 ((((triple3 triple2) -> rule6)) -> rule1)) -> rule8))]
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple6
The cat is not cold.
("cat" "is" "cold" "-")
triple7
The cat is young.
("cat" "is" "young" "+")
triple8
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple9
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((triple6 triple5) -> (rule5 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple3 triple2) -> (rule6 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bear sees the cat.
("bear" "sees" "cat" "+")
((triple6) -> (rule7 % int1))
The bear sees the cat.
("bear" "sees" "cat" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((triple3 triple2) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((triple6 triple5) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
((triple2 ((((triple3 triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3