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