The bald eagle is kind. The bald eagle is nice. The bald eagle is young. The bald eagle visits the cat. The bald eagle visits the cow. The bear eats the cow. The bear is kind. The cat is kind. The cat likes the bald eagle. The cat likes the bear. The cow eats the cat. If something is nice and it visits the bear then it likes the bald eagle. If something eats the bald eagle then it eats the bear. If something likes the bear then it visits the bear. If something eats the cat and it is nice then it visits the bear. If something likes the bald eagle then it eats the bald eagle. If the bald eagle visits the cow then the cow eats the cat. If the bald eagle eats the cat then the bald eagle is kind. Young things are kind. If something likes the bald eagle then the bald eagle likes the bear.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is kind.
("bear" "is" "kind" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
If something is nice and it visits the bear then it likes the bald eagle.
((("something" "is" "nice" "+") ("something" "visits" "bear" "+")) -> ("something" "likes" "bald eagle" "+"))
If something eats the bald eagle then it eats the bear.
((("something" "eats" "bald eagle" "+")) -> ("something" "eats" "bear" "+"))
If something likes the bear then it visits the bear.
((("something" "likes" "bear" "+")) -> ("something" "visits" "bear" "+"))
If something eats the cat and it is nice then it visits the bear.
((("something" "eats" "cat" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "bear" "+"))
If something likes the bald eagle then it eats the bald eagle.
((("something" "likes" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
If the bald eagle visits the cow then the cow eats the cat.
((("bald eagle" "visits" "cow" "+")) -> ("cow" "eats" "cat" "+"))
If the bald eagle eats the cat then the bald eagle is kind.
((("bald eagle" "eats" "cat" "+")) -> ("bald eagle" "is" "kind" "+"))
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something likes the bald eagle then the bald eagle likes the bear.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "bear" "+"))
The cat is kind.
True
1
proof
[(triple8)]
("cat" "is" "kind" "+")
triple8
The bear does not eat the cow.
False
1
inv-proof
[(triple6)]
("bear" "eats" "cow" "-")
triple6
The bald eagle likes the bear.
True
2
proof
[(((triple9) -> rule9))]
("bald eagle" "likes" "bear" "+")
((triple9) -> (rule9 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle does not like the bear.
False
2
inv-proof
[(((triple9) -> rule9))]
("bald eagle" "likes" "bear" "-")
((triple9) -> (rule9 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle visits the bear.
True
3
proof
[(((((triple9) -> rule9)) -> rule3))]
("bald eagle" "visits" "bear" "+")
((((triple9) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle does not visit the bear.
False
3
inv-proof
[(((((triple9) -> rule9)) -> rule3))]
("bald eagle" "visits" "bear" "-")
((((triple9) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle likes the bald eagle.
True
5
proof
[(((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((triple2 ((((triple9) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle does not like the bald eagle.
False
5
inv-proof
[(((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((triple2 ((((triple9) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle eats the bald eagle.
True
6
proof
[(((((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1)) -> rule5))]
("bald eagle" "eats" "bald eagle" "+")
((((triple2 ((((triple9) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle does not eat the bald eagle.
False
6
inv-proof
[(((((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1)) -> rule5))]
("bald eagle" "eats" "bald eagle" "-")
((((triple2 ((((triple9) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle eats the bear.
True
7
proof
[(((((((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1)) -> rule5)) -> rule2))]
("bald eagle" "eats" "bear" "+")
((((((triple2 ((((triple9) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int4
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int5
The bald eagle does not eat the bear.
False
7
inv-proof
[(((((((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1)) -> rule5)) -> rule2))]
("bald eagle" "eats" "bear" "-")
((((((triple2 ((((triple9) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int4
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int5
The cow does not visit the bear.
Unknown
inv-rconc
[@1: The cow visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "bear" "-")
The cow likes the bald eagle.
Unknown
rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "bald eagle" "+")
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "kind" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "bear" "+")
The cow does not eat the bald eagle.
Unknown
inv-rconc
[@2: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("cow" "eats" "bald eagle" "-")
The bear likes the bald eagle.
Unknown
rconc
[@1: The bear likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bald eagle" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The cow does not like the cat.
Unknown
inv-random
[@0: The cow likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cat" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The bear does not visit the bald eagle.
Unknown
inv-random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bald eagle is kind.[(triple1 OR ((triple3) -> rule8))] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the cow.[(triple5)] The bear eats the cow.[(triple6)] The bear is kind.[(triple7)] The cat is kind.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat likes the bear.[(triple10)] The cow eats the cat.[(triple11 OR ((triple5) -> rule6))] @1: The bald eagle likes the bear.[(((triple9) -> rule9))] The cat eats the bald eagle.[(((triple9) -> rule5))] The cat visits the bear.[(((triple10) -> rule3))] @2: The bald eagle visits the bear.[(((((triple9) -> rule9)) -> rule3))] The cat eats the bear.[(((((triple9) -> rule5)) -> rule2))] @3: The bald eagle likes the bald eagle.[(((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1))] @4: The bald eagle eats the bald eagle.[(((((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1)) -> rule5))] @5: The bald eagle eats the bear.[(((((((triple2 ((((triple9) -> rule9)) -> rule3)) -> rule1)) -> rule5)) -> rule2))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
((triple3) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple5
The bear eats the cow.
("bear" "eats" "cow" "+")
triple6
The bear is kind.
("bear" "is" "kind" "+")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
The cat likes the bear.
("cat" "likes" "bear" "+")
triple10
The cow eats the cat.
("cow" "eats" "cat" "+")
triple11
((triple5) -> (rule6 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((triple9) -> (rule9 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple9) -> (rule5 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
((triple10) -> (rule3 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
((((triple9) -> (rule9 % int2))) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
((((triple9) -> (rule5 % int2))) -> (rule2 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple2 ((((triple9) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int2
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple2 ((((triple9) -> (rule9 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int4
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((((((triple2 ((((triple9) -> (rule9 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int4
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int5