The bald eagle chases the rabbit. The bald eagle eats the squirrel. The bald eagle is nice. The bald eagle visits the rabbit. The lion chases the squirrel. The lion eats the rabbit. The lion visits the squirrel. The rabbit is big. The rabbit is kind. The rabbit visits the squirrel. The squirrel chases the lion. If someone chases the rabbit and the rabbit is kind then they eat the rabbit. If someone eats the rabbit then the rabbit is rough. If the rabbit visits the squirrel then the rabbit is big. If someone is green then they visit the bald eagle. Nice, big people are green. If the rabbit visits the squirrel and the rabbit eats the bald eagle then the squirrel visits the rabbit. If someone eats the rabbit then they are big. If someone visits the bald eagle then they are kind. If someone visits the rabbit and they are big then the rabbit visits the lion.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
If someone chases the rabbit and the rabbit is kind then they eat the rabbit.
((("someone" "chases" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the rabbit then the rabbit is rough.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If the rabbit visits the squirrel then the rabbit is big.
((("rabbit" "visits" "squirrel" "+")) -> ("rabbit" "is" "big" "+"))
If someone is green then they visit the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "visits" "bald eagle" "+"))
Nice, big people are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If the rabbit visits the squirrel and the rabbit eats the bald eagle then the squirrel visits the rabbit.
((("rabbit" "visits" "squirrel" "+") ("rabbit" "eats" "bald eagle" "+")) -> ("squirrel" "visits" "rabbit" "+"))
If someone eats the rabbit then they are big.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "big" "+"))
If someone visits the bald eagle then they are kind.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
If someone visits the rabbit and they are big then the rabbit visits the lion.
((("someone" "visits" "rabbit" "+") ("someone" "is" "big" "+")) -> ("rabbit" "visits" "lion" "+"))
The bald eagle is nice.
True
1
proof
[(triple3)]
("bald eagle" "is" "nice" "+")
triple3
The squirrel does not chase the lion.
False
1
inv-proof
[(triple11)]
("squirrel" "chases" "lion" "-")
triple11
The bald eagle eats the rabbit.
True
3
proof
[(((triple1 triple9) -> rule1))]
("bald eagle" "eats" "rabbit" "+")
((triple1 triple9) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The lion is not big.
False
2
inv-proof
[(((triple6) -> rule7))]
("lion" "is" "big" "-")
((triple6) -> (rule7 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The bald eagle is big.
True
4
proof
[(((((triple1 triple9) -> rule1)) -> rule7))]
("bald eagle" "is" "big" "+")
((((triple1 triple9) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle is not big.
False
4
inv-proof
[(((((triple1 triple9) -> rule1)) -> rule7))]
("bald eagle" "is" "big" "-")
((((triple1 triple9) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle is green.
True
6
proof
[(((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5))]
("bald eagle" "is" "green" "+")
((triple3 ((((triple1 triple9) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The bald eagle is not green.
False
6
inv-proof
[(((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5))]
("bald eagle" "is" "green" "-")
((triple3 ((((triple1 triple9) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The bald eagle visits the bald eagle.
True
7
proof
[(((((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5)) -> rule4))]
("bald eagle" "visits" "bald eagle" "+")
((((triple3 ((((triple1 triple9) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The bald eagle does not visit the bald eagle.
False
7
inv-proof
[(((((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5)) -> rule4))]
("bald eagle" "visits" "bald eagle" "-")
((((triple3 ((((triple1 triple9) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The bald eagle is kind.
True
8
proof
[(((((((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5)) -> rule4)) -> rule8))]
("bald eagle" "is" "kind" "+")
((((((triple3 ((((triple1 triple9) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int5
The bald eagle is not kind.
False
8
inv-proof
[(((((((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5)) -> rule4)) -> rule8))]
("bald eagle" "is" "kind" "-")
((((((triple3 ((((triple1 triple9) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int5
The lion is not kind.
Unknown
inv-rconc
[@3: The lion is kind.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule5 <- FAIL)]]
("lion" "is" "kind" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit does not visit the bald eagle.
Unknown
inv-rconc
[@2: The rabbit visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("rabbit" "visits" "bald eagle" "-")
The squirrel visits the bald eagle.
Unknown
rconc
[@2: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The squirrel is not big.
Unknown
inv-rconc
[@2: The squirrel is big.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("squirrel" "is" "big" "-")
The rabbit is green.
Unknown
rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "green" "+")
The rabbit does not chase the squirrel.
Unknown
inv-random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The bald eagle does not visit the lion.
Unknown
inv-random
[@0: The bald eagle visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "lion" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle does not chase the squirrel.
Unknown
inv-random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The lion chases the squirrel.[(triple5)] The lion eats the rabbit.[(triple6)] The lion visits the squirrel.[(triple7)] The rabbit is big.[(triple8 OR ((triple10) -> rule3))] The rabbit is kind.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel chases the lion.[(triple11)] @1: The bald eagle eats the rabbit.[(((triple1 triple9) -> rule1))] The lion is big.[(((triple6) -> rule7))] The rabbit is rough.[(((triple6) -> rule2) OR ((((triple1 triple9) -> rule1)) -> rule2))] @2: The bald eagle is big.[(((((triple1 triple9) -> rule1)) -> rule7))] @3: The bald eagle is green.[(((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5))] The rabbit visits the lion.[(((triple4 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule9))] @4: The bald eagle visits the bald eagle.[(((((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5)) -> rule4))] @5: The bald eagle is kind.[(((((((triple3 ((((triple1 triple9) -> rule1)) -> rule7)) -> rule5)) -> rule4)) -> rule8))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple5
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple6
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
((triple10) -> (rule3 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple10
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple11
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((triple1 triple9) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple6) -> (rule7 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple6) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((((triple1 triple9) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple1 triple9) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple3 ((((triple1 triple9) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
((triple4 ((((triple1 triple9) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule9 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple3 ((((triple1 triple9) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((((triple3 ((((triple1 triple9) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle is green.
("bald eagle" "is" "green" "+")
int3
The bald eagle is big.
("bald eagle" "is" "big" "+")
int4
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int5