The bald eagle eats the rabbit. The bald eagle is kind. The bald eagle is young. The bald eagle likes the bear. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear eats the rabbit. The bear is big. The bear is young. The bear likes the bald eagle. The rabbit eats the bald eagle. The rabbit eats the bear. The rabbit is blue. The rabbit is young. The rabbit likes the bald eagle. If someone is young then they eat the rabbit. If the bald eagle is blue then the bald eagle is big. If someone likes the bear then they visit the bear. If someone eats the rabbit then they eat the bald eagle. If someone likes the rabbit and the rabbit visits the bald eagle then the rabbit visits the bear. If someone is cold then they are big. If someone eats the bald eagle then they like the bear. If someone likes the bear then they visit the bald eagle.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If someone is young then they eat the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "eats" "rabbit" "+"))
If the bald eagle is blue then the bald eagle is big.
((("bald eagle" "is" "blue" "+")) -> ("bald eagle" "is" "big" "+"))
If someone likes the bear then they visit the bear.
((("someone" "likes" "bear" "+")) -> ("someone" "visits" "bear" "+"))
If someone eats the rabbit then they eat the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone likes the rabbit and the rabbit visits the bald eagle then the rabbit visits the bear.
((("someone" "likes" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("rabbit" "visits" "bear" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone eats the bald eagle then they like the bear.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bear then they visit the bald eagle.
((("someone" "likes" "bear" "+")) -> ("someone" "visits" "bald eagle" "+"))
The bear is young.
True
1
proof
[(triple9)]
("bear" "is" "young" "+")
triple9
The bald eagle does not visit the rabbit.
False
1
inv-proof
[(triple6)]
("bald eagle" "visits" "rabbit" "-")
triple6
The bald eagle eats the bald eagle.
True
2
proof
[(((triple1) -> rule4) OR ((((triple3) -> rule1)) -> rule4))]
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The rabbit does not like the bear.
False
2
inv-proof
[(((triple11) -> rule7) OR ((((((triple14) -> rule1)) -> rule4)) -> rule7))]
("rabbit" "likes" "bear" "-")
((triple11) -> (rule7 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3
The bear likes the bear.
True
3
proof
[(((((triple7) -> rule4)) -> rule7) OR ((((((triple9) -> rule1)) -> rule4)) -> rule7))]
("bear" "likes" "bear" "+")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The bear does not like the bear.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule7) OR ((((((triple9) -> rule1)) -> rule4)) -> rule7))]
("bear" "likes" "bear" "-")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The bear visits the bear.
True
4
proof
[(((((((triple7) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule7)) -> rule3))]
("bear" "visits" "bear" "+")
((((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The bear does not visit the bear.
False
4
inv-proof
[(((((((triple7) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule7)) -> rule3))]
("bear" "visits" "bear" "-")
((((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "big" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "big" "+")
The bear does not like the rabbit.
Unknown
inv-random
[@0: The bear likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "rabbit" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The bear does not visit the rabbit.
Unknown
inv-random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle eats the rabbit.[(triple1 OR ((triple3) -> rule1))] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the bear.[(triple4 OR ((((triple1) -> rule4)) -> rule7) OR ((((((triple3) -> rule1)) -> rule4)) -> rule7))] The bald eagle visits the bear.[(triple5 OR ((triple4) -> rule3) OR ((((((triple1) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule3))] The bald eagle visits the rabbit.[(triple6)] The bear eats the rabbit.[(triple7 OR ((triple9) -> rule1))] The bear is big.[(triple8)] The bear is young.[(triple9)] The bear likes the bald eagle.[(triple10)] The rabbit eats the bald eagle.[(triple11 OR ((((triple14) -> rule1)) -> rule4))] The rabbit eats the bear.[(triple12)] The rabbit is blue.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the bald eagle.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule4) OR ((((triple3) -> rule1)) -> rule4))] The bald eagle visits the bald eagle.[(((triple4) -> rule8) OR ((((((triple1) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule4)) -> rule7)) -> rule8))] The bear eats the bald eagle.[(((triple7) -> rule4) OR ((((triple9) -> rule1)) -> rule4))] The rabbit eats the rabbit.[(((triple14) -> rule1))] The rabbit likes the bear.[(((triple11) -> rule7) OR ((((((triple14) -> rule1)) -> rule4)) -> rule7))] @2: The bear likes the bear.[(((((triple7) -> rule4)) -> rule7) OR ((((((triple9) -> rule1)) -> rule4)) -> rule7))] The rabbit visits the bald eagle.[(((((triple11) -> rule7)) -> rule8) OR ((((((((triple14) -> rule1)) -> rule4)) -> rule7)) -> rule8))] The rabbit visits the bear.[(((((triple11) -> rule7)) -> rule3) OR ((((((((triple14) -> rule1)) -> rule4)) -> rule7)) -> rule3))] @3: The bear visits the bald eagle.[(((((((triple7) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule7)) -> rule8))] The bear visits the bear.[(((((((triple7) -> rule4)) -> rule7)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule7)) -> rule3))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
((triple3) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple4
((((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
((triple4) -> (rule3 % int1))
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule7 % 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 eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % 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 eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple6
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple7
((triple9) -> (rule1 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear is big.
("bear" "is" "big" "+")
triple8
The bear is young.
("bear" "is" "young" "+")
triple9
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple10
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple12
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple4) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule4 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple14) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
((triple11) -> (rule7 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((((triple11) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
((((((((triple14) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int3
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int4
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((((triple11) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
((((((((triple14) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int3
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The bear visits the bear.
("bear" "visits" "bear" "+")
((((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4