The bald eagle chases the squirrel. The bald eagle is not kind. The cow does not chase the squirrel. The cow is not green. The rabbit chases the bald eagle. The rabbit chases the cow. The rabbit chases the squirrel. The rabbit eats the bald eagle. The rabbit visits the bald eagle. The squirrel does not eat the bald eagle. The squirrel visits the cow. If someone is kind then they eat the squirrel. If someone chases the cow then they are kind. If someone eats the squirrel then the squirrel chases the cow. If someone eats the rabbit then the rabbit chases the cow. If someone eats the rabbit and the rabbit is blue then the rabbit is not green. If someone eats the squirrel then the squirrel does not chase the bald eagle. If someone visits the squirrel then the squirrel is not round.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
The cow is not green.
("cow" "is" "green" "-")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone is kind then they eat the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone chases the cow then they are kind.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the squirrel then the squirrel chases the cow.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
If someone eats the rabbit then the rabbit chases the cow.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If someone eats the rabbit and the rabbit is blue then the rabbit is not green.
((("someone" "eats" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("rabbit" "is" "green" "-"))
If someone eats the squirrel then the squirrel does not chase the bald eagle.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "-"))
If someone visits the squirrel then the squirrel is not round.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "round" "-"))
The rabbit visits the bald eagle.
True
1
proof
[(triple9)]
("rabbit" "visits" "bald eagle" "+")
triple9
The cow chases the squirrel.
False
1
inv-proof
[(triple3)]
("cow" "chases" "squirrel" "+")
triple3
The rabbit is kind.
True
2
proof
[(((triple6) -> rule2))]
("rabbit" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("rabbit" "is" "kind" "-")
((triple6) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit eats the squirrel.
True
3
proof
[(((((triple6) -> rule2)) -> rule1))]
("rabbit" "eats" "squirrel" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit does not eat the squirrel.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("rabbit" "eats" "squirrel" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The squirrel does not chase the bald eagle.
True
4
proof
[(((((((triple6) -> rule2)) -> rule1)) -> rule6) OR ((((((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule1)) -> rule6))]
("squirrel" "chases" "bald eagle" "-")
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((((((((triple6) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The squirrel chases the bald eagle.
False
4
inv-proof
[(((((((triple6) -> rule2)) -> rule1)) -> rule6) OR ((((((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule1)) -> rule6))]
("squirrel" "chases" "bald eagle" "+")
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((((((((triple6) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The squirrel is kind.
True
5
proof
[(((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
("squirrel" "is" "kind" "+")
((((((((triple6) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The squirrel is not kind.
False
5
inv-proof
[(((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2))]
("squirrel" "is" "kind" "-")
((((((((triple6) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The squirrel eats the squirrel.
True
6
proof
[(((((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((((((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The squirrel does not eat the squirrel.
False
6
inv-proof
[(((((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((((((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The bald eagle does not eat the squirrel.
Unknown
inv-rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The cow eats the squirrel.
Unknown
rconc
[@2: The cow eats the squirrel.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "eats" "squirrel" "+")
The cow is not kind.
Unknown
inv-rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "kind" "-")
The cow eats the rabbit.
Unknown
random
[@0: The cow eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "rabbit" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
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 rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The cow does not chase the rabbit.
Unknown
inv-random
[@0: The cow chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "rabbit" "-")
The squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is not kind.[(triple2)] The cow does not chase the squirrel.[(triple3)] The cow is not green.[(triple4)] The rabbit chases the bald eagle.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit chases the squirrel.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit visits the bald eagle.[(triple9)] The squirrel does not eat the bald eagle.[(triple10)] The squirrel visits the cow.[(triple11)] @1: The rabbit is kind.[(((triple6) -> rule2))] @2: The rabbit eats the squirrel.[(((((triple6) -> rule2)) -> rule1))] @3: The squirrel chases the cow.[(((((((triple6) -> rule2)) -> rule1)) -> rule3))] The squirrel does not chase the bald eagle.[(((((((triple6) -> rule2)) -> rule1)) -> rule6) OR ((((((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule1)) -> rule6))] @4: The squirrel is kind.[(((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2))] @5: The squirrel eats the squirrel.[(((((((((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule2)) -> rule1))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
triple3
The cow is not green.
("cow" "is" "green" "-")
triple4
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple5
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple6
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple8
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple9
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple10
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
((((((((((((triple6) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
int3
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int5
The rabbit is kind.
("rabbit" "is" "kind" "+")
int6
The squirrel is kind.
("squirrel" "is" "kind" "+")
((((((((triple6) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5