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