The bald eagle eats the rabbit. The bald eagle is kind. The bald eagle sees the tiger. The bald eagle visits the rabbit. The rabbit eats the bald eagle. The rabbit eats the tiger. The rabbit is big. The rabbit is kind. The rabbit is young. The rabbit sees the tiger. The rabbit visits the tiger. The tiger eats the rabbit. The tiger is big. The tiger is young. The tiger does not visit the bald eagle. If something sees the tiger then it visits the bald eagle. If something visits the bald eagle then the bald eagle eats the tiger.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
If something sees the tiger then it visits the bald eagle.
((("something" "sees" "tiger" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle eats the tiger.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "+"))
The rabbit eats the tiger.
True
1
proof
[(triple6)]
("rabbit" "eats" "tiger" "+")
triple6
The rabbit is not young.
False
1
inv-proof
[(triple9)]
("rabbit" "is" "young" "-")
triple9
The bald eagle visits the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("bald eagle" "visits" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The rabbit does not visit the bald eagle.
False
2
inv-proof
[(((triple10) -> rule1))]
("rabbit" "visits" "bald eagle" "-")
((triple10) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle eats the tiger.
True
3
proof
[(((((triple10) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule2))]
("bald eagle" "eats" "tiger" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle does not eat the tiger.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule2))]
("bald eagle" "eats" "tiger" "-")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The rabbit sees the bald eagle.
Unknown
random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The tiger is kind.
Unknown
random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The rabbit eats the bald eagle.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is big.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is young.[(triple9)] The rabbit sees the tiger.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger does not visit the bald eagle.[(triple15)] The tiger eats the rabbit.[(triple12)] The tiger is big.[(triple13)] The tiger is young.[(triple14)] @1: The bald eagle visits the bald eagle.[(((triple3) -> rule1))] The rabbit visits the bald eagle.[(((triple10) -> rule1))] @2: The bald eagle eats the tiger.[(((((triple10) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule2))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple5
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple10
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple11
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple15
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple12
The tiger is big.
("tiger" "is" "big" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple10) -> (rule1 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2