The bald eagle is big. The bald eagle likes the tiger. The bald eagle visits the rabbit. The rabbit is rough. The rabbit is young. The rabbit likes the bald eagle. The rabbit sees the bald eagle. The rabbit sees the tiger. The rabbit visits the bald eagle. The tiger visits the bald eagle. If the bald eagle likes the rabbit then the rabbit visits the bald eagle. If something is rough and it sees the bald eagle then the bald eagle is green. If something visits the bald eagle then it is rough. If something sees the rabbit and it is rough then the rabbit visits the bald eagle. If something visits the bald eagle then it is rough. If something sees the bald eagle then it visits the bald eagle. If something visits the rabbit then it sees the bald eagle. If the rabbit sees the bald eagle then the bald eagle is rough.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If the bald eagle likes the rabbit then the rabbit visits the bald eagle.
((("bald eagle" "likes" "rabbit" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If something is rough and it sees the bald eagle then the bald eagle is green.
((("something" "is" "rough" "+") ("something" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If something visits the bald eagle then it is rough.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something sees the rabbit and it is rough then the rabbit visits the bald eagle.
((("something" "sees" "rabbit" "+") ("something" "is" "rough" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If something visits the bald eagle then it is rough.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something sees the bald eagle then it visits the bald eagle.
((("something" "sees" "bald eagle" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the rabbit then it sees the bald eagle.
((("something" "visits" "rabbit" "+")) -> ("something" "sees" "bald eagle" "+"))
If the rabbit sees the bald eagle then the bald eagle is rough.
((("rabbit" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
The rabbit is young.
True
1
proof
[(triple5)]
("rabbit" "is" "young" "+")
triple5
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple7)]
("rabbit" "sees" "bald eagle" "-")
triple7
The tiger does not see the bald eagle.
Unknown
inv-rconc
[@1: The tiger sees the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "sees" "bald eagle" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The rabbit is rough.[(triple4 OR ((triple9) -> rule3) OR ((triple9) -> rule5) OR ((((triple7) -> rule6)) -> rule3) OR ((((triple7) -> rule6)) -> rule5))] The rabbit is young.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The rabbit sees the bald eagle.[(triple7)] The rabbit sees the tiger.[(triple8)] The rabbit visits the bald eagle.[(triple9 OR ((triple7) -> rule6))] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle is green.[(((triple4 triple7) -> rule2) OR ((((triple9) -> rule3) triple7) -> rule2) OR ((((triple9) -> rule5) triple7) -> rule2) OR ((((triple7) -> rule8) ((triple3) -> rule7)) -> rule2) OR ((((((triple7) -> rule6)) -> rule3) triple7) -> rule2) OR ((((((triple7) -> rule6)) -> rule5) triple7) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule3) ((triple3) -> rule7)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule5) ((triple3) -> rule7)) -> rule2))] The bald eagle is rough.[(((triple7) -> rule8) OR ((((((triple3) -> rule7)) -> rule6)) -> rule3) OR ((((((triple3) -> rule7)) -> rule6)) -> rule5))] The bald eagle sees the bald eagle.[(((triple3) -> rule7))] The tiger is rough.[(((triple10) -> rule3) OR ((triple10) -> rule5))] @2: The bald eagle visits the bald eagle.[(((((triple3) -> rule7)) -> rule6))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
((triple9) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple9) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple6
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple7
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple8
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple9
((triple7) -> (rule6 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple10
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple4 triple7) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((((triple9) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple9) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple7) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((triple3) -> (rule7 % int4))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule7 % int4))) -> (rule2 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple7) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple3) -> (rule7 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple10) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((triple10) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2