The bald eagle is nice. The bald eagle likes the lion. The cat is round. The lion eats the bald eagle. The lion eats the squirrel. The lion likes the cat. The lion likes the squirrel. The squirrel chases the cat. The squirrel chases the lion. The squirrel likes the cat. If someone is nice and they eat the bald eagle then they eat the cat. If someone is green then they chase the bald eagle. If someone is nice and they chase the bald eagle then the bald eagle is round. If the cat is green and the cat likes the lion then the cat is nice. All round people are green. If someone likes the cat and the cat chases the bald eagle then the bald eagle likes the cat. If someone is round then they like the lion.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The cat is round.
("cat" "is" "round" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If someone is nice and they eat the bald eagle then they eat the cat.
((("someone" "is" "nice" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "eats" "cat" "+"))
If someone is green then they chase the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is nice and they chase the bald eagle then the bald eagle is round.
((("someone" "is" "nice" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If the cat is green and the cat likes the lion then the cat is nice.
((("cat" "is" "green" "+") ("cat" "likes" "lion" "+")) -> ("cat" "is" "nice" "+"))
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone likes the cat and the cat chases the bald eagle then the bald eagle likes the cat.
((("someone" "likes" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "cat" "+"))
If someone is round then they like the lion.
((("someone" "is" "round" "+")) -> ("someone" "likes" "lion" "+"))
The squirrel likes the cat.
True
1
proof
[(triple10)]
("squirrel" "likes" "cat" "+")
triple10
The lion does not like the cat.
False
1
inv-proof
[(triple6)]
("lion" "likes" "cat" "-")
triple6
The cat likes the lion.
True
2
proof
[(((triple3) -> rule7))]
("cat" "likes" "lion" "+")
((triple3) -> (rule7 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The cat is not green.
False
2
inv-proof
[(((triple3) -> rule5))]
("cat" "is" "green" "-")
((triple3) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the bald eagle.
True
3
proof
[(((((triple3) -> rule5)) -> rule2))]
("cat" "chases" "bald eagle" "+")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is not nice.
False
5
inv-proof
[(((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4))]
("cat" "is" "nice" "-")
((((triple3) -> (rule5 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The bald eagle is round.
True
9
proof
[(((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3))]
("bald eagle" "is" "round" "+")
((((((triple3) -> (rule5 % int5)) ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The bald eagle is not round.
False
9
inv-proof
[(((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3))]
("bald eagle" "is" "round" "-")
((((((triple3) -> (rule5 % int5)) ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The bald eagle is green.
True
10
proof
[(((((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule5))]
("bald eagle" "is" "green" "+")
((((((((triple3) -> (rule5 % int6)) ((triple3) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule5 % int6))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
The cat likes the lion.
("cat" "likes" "lion" "+")
int5
The cat is green.
("cat" "is" "green" "+")
int6
The bald eagle is not green.
False
10
inv-proof
[(((((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule5))]
("bald eagle" "is" "green" "-")
((((((((triple3) -> (rule5 % int6)) ((triple3) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule5 % int6))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
The cat likes the lion.
("cat" "likes" "lion" "+")
int5
The cat is green.
("cat" "is" "green" "+")
int6
The bald eagle chases the bald eagle.
True
11
proof
[(((((((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule5)) -> rule2))]
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple3) -> (rule5 % int7)) ((triple3) -> (rule7 % int6))) -> (rule4 % int5)) ((((triple3) -> (rule5 % int7))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
The cat likes the lion.
("cat" "likes" "lion" "+")
int6
The cat is green.
("cat" "is" "green" "+")
int7
The bald eagle does not chase the bald eagle.
False
11
inv-proof
[(((((((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule5)) -> rule2))]
("bald eagle" "chases" "bald eagle" "-")
((((((((((triple3) -> (rule5 % int7)) ((triple3) -> (rule7 % int6))) -> (rule4 % int5)) ((((triple3) -> (rule5 % int7))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
The cat likes the lion.
("cat" "likes" "lion" "+")
int6
The cat is green.
("cat" "is" "green" "+")
int7
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The lion chases the bald eagle.
Unknown
rconc
[@2: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("lion" "chases" "bald eagle" "+")
The lion does not eat the cat.
Unknown
inv-rconc
[@1: The lion eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "cat" "-")
The bald eagle eats the cat.
Unknown
rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel likes the lion.
Unknown
rconc
[@1: The squirrel likes the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "likes" "lion" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The cat chases the lion.
Unknown
random
[@0: The cat chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "lion" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the lion.[(triple2 OR ((((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule7))] The cat is round.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion eats the squirrel.[(triple5)] The lion likes the cat.[(triple6)] The lion likes the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel likes the cat.[(triple10)] @1: The cat is green.[(((triple3) -> rule5))] The cat likes the lion.[(((triple3) -> rule7))] @2: The cat chases the bald eagle.[(((((triple3) -> rule5)) -> rule2))] The cat is nice.[(((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4))] @3: The bald eagle is round.[(((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3))] The bald eagle likes the cat.[(((triple10 ((((triple3) -> rule5)) -> rule2)) -> rule6) OR ((triple6 ((((triple3) -> rule5)) -> rule2)) -> rule6))] @4: The bald eagle is green.[(((((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule5))] @5: The bald eagle chases the bald eagle.[(((((((((((triple3) -> rule5) ((triple3) -> rule7)) -> rule4) ((((triple3) -> rule5)) -> rule2)) -> rule3)) -> rule5)) -> rule2))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
((((((((triple3) -> (rule5 % int6)) ((triple3) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule5 % int6))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
The cat likes the lion.
("cat" "likes" "lion" "+")
int5
The cat is green.
("cat" "is" "green" "+")
int6
The cat is round.
("cat" "is" "round" "+")
triple3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple4
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple5
The lion likes the cat.
("lion" "likes" "cat" "+")
triple6
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple7
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple8
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple9
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple10
The cat is green.
("cat" "is" "green" "+")
((triple3) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
((triple3) -> (rule7 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((((triple3) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
((((triple3) -> (rule5 % int3)) ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((((triple3) -> (rule5 % int5)) ((triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule5 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
The cat is green.
("cat" "is" "green" "+")
int5
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((triple10 ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
((triple6 ((((triple3) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((((((triple3) -> (rule5 % int6)) ((triple3) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule5 % int6))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
The cat likes the lion.
("cat" "likes" "lion" "+")
int5
The cat is green.
("cat" "is" "green" "+")
int6
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((((triple3) -> (rule5 % int7)) ((triple3) -> (rule7 % int6))) -> (rule4 % int5)) ((((triple3) -> (rule5 % int7))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
The cat is nice.
("cat" "is" "nice" "+")
int5
The cat likes the lion.
("cat" "likes" "lion" "+")
int6
The cat is green.
("cat" "is" "green" "+")
int7