The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is not big. The cat chases the bald eagle. The cat eats the cow. The cat is cold. The cat does not visit the dog. The cow eats the bald eagle. The cow eats the cat. The cow does not visit the cat. The dog is nice. The dog visits the cow. If something is big and it visits the bald eagle then it is nice. If something is green then it is nice. If the bald eagle is nice then the bald eagle eats the cat. If something eats the cow and the cow is cold then the cow is red. If something visits the bald eagle then it is big. If something visits the cat then the cat is red. If the dog is red then the dog does not chase the cow. If the cat eats the cow then the cat visits the bald eagle. If the cow eats the cat and the cat is nice then the cow visits the bald eagle.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat does not visit the dog.
("cat" "visits" "dog" "-")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow does not visit the cat.
("cow" "visits" "cat" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If something is big and it visits the bald eagle then it is nice.
((("something" "is" "big" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If the bald eagle is nice then the bald eagle eats the cat.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "eats" "cat" "+"))
If something eats the cow and the cow is cold then the cow is red.
((("something" "eats" "cow" "+") ("cow" "is" "cold" "+")) -> ("cow" "is" "red" "+"))
If something visits the bald eagle then it is big.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "big" "+"))
If something visits the cat then the cat is red.
((("something" "visits" "cat" "+")) -> ("cat" "is" "red" "+"))
If the dog is red then the dog does not chase the cow.
((("dog" "is" "red" "+")) -> ("dog" "chases" "cow" "-"))
If the cat eats the cow then the cat visits the bald eagle.
((("cat" "eats" "cow" "+")) -> ("cat" "visits" "bald eagle" "+"))
If the cow eats the cat and the cat is nice then the cow visits the bald eagle.
((("cow" "eats" "cat" "+") ("cat" "is" "nice" "+")) -> ("cow" "visits" "bald eagle" "+"))
The bald eagle chases the dog.
True
1
proof
[(triple1)]
("bald eagle" "chases" "dog" "+")
triple1
The cat does not eat the cow.
False
1
inv-proof
[(triple5)]
("cat" "eats" "cow" "-")
triple5
The cat visits the bald eagle.
True
2
proof
[(((triple5) -> rule8))]
("cat" "visits" "bald eagle" "+")
((triple5) -> (rule8 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat does not visit the bald eagle.
False
2
inv-proof
[(((triple5) -> rule8))]
("cat" "visits" "bald eagle" "-")
((triple5) -> (rule8 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat is big.
True
3
proof
[(((((triple5) -> rule8)) -> rule5))]
("cat" "is" "big" "+")
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat is not big.
False
3
inv-proof
[(((((triple5) -> rule8)) -> rule5))]
("cat" "is" "big" "-")
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat is nice.
True
6
proof
[(((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1))]
("cat" "is" "nice" "+")
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2)) ((triple5) -> (rule8 % int3))) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The cat is not nice.
False
6
inv-proof
[(((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1))]
("cat" "is" "nice" "-")
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2)) ((triple5) -> (rule8 % int3))) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The cow visits the bald eagle.
True
8
proof
[(((triple9 ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1)) -> rule9))]
("cow" "visits" "bald eagle" "+")
((triple9 ((((((triple5) -> (rule8 % int4))) -> (rule5 % int3)) ((triple5) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule9 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The cow does not visit the bald eagle.
False
8
inv-proof
[(((triple9 ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1)) -> rule9))]
("cow" "visits" "bald eagle" "-")
((triple9 ((((((triple5) -> (rule8 % int4))) -> (rule5 % int3)) ((triple5) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule9 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The cow is big.
True
9
proof
[(((((triple9 ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1)) -> rule9)) -> rule5))]
("cow" "is" "big" "+")
((((triple9 ((((((triple5) -> (rule8 % int5))) -> (rule5 % int4)) ((triple5) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5
The cow is not big.
False
9
inv-proof
[(((((triple9 ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1)) -> rule9)) -> rule5))]
("cow" "is" "big" "-")
((((triple9 ((((((triple5) -> (rule8 % int5))) -> (rule5 % int4)) ((triple5) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The dog is big.
Unknown
rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "big" "+")
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "red" "-")
The cow is red.
Unknown
rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "red" "+")
The bald eagle does not eat the cat.
Unknown
inv-rconc
[@2: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bald eagle" "eats" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The cat does not chase the dog.
Unknown
inv-random
[@0: The cat chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "dog" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
The dog does not visit the cat.
Unknown
inv-random
[@0: The dog visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "cat" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is not big.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat does not visit the dog.[(triple7)] The cat eats the cow.[(triple5)] The cat is cold.[(triple6)] The cow does not visit the cat.[(triple10)] The cow eats the bald eagle.[(triple8)] The cow eats the cat.[(triple9)] The dog is nice.[(triple11)] The dog visits the cow.[(triple12)] @1: The cat visits the bald eagle.[(((triple5) -> rule8))] @2: The cat is big.[(((((triple5) -> rule8)) -> rule5))] @3: The cat is nice.[(((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1))] @4: The cow visits the bald eagle.[(((triple9 ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1)) -> rule9))] @5: The cow is big.[(((((triple9 ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1)) -> rule9)) -> rule5))] @6: The cow is nice.[(((((((triple9 ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1)) -> rule9)) -> rule5) ((triple9 ((((((triple5) -> rule8)) -> rule5) ((triple5) -> rule8)) -> rule1)) -> rule9)) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat does not visit the dog.
("cat" "visits" "dog" "-")
triple7
The cat eats the cow.
("cat" "eats" "cow" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cow does not visit the cat.
("cow" "visits" "cat" "-")
triple10
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple8
The cow eats the cat.
("cow" "eats" "cat" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple11
The dog visits the cow.
("dog" "visits" "cow" "+")
triple12
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple5) -> (rule8 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat is big.
("cat" "is" "big" "+")
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2)) ((triple5) -> (rule8 % int3))) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int3
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((triple9 ((((((triple5) -> (rule8 % int4))) -> (rule5 % int3)) ((triple5) -> (rule8 % int4))) -> (rule1 % int2))) -> (rule9 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int4
The cow is big.
("cow" "is" "big" "+")
((((triple9 ((((((triple5) -> (rule8 % int5))) -> (rule5 % int4)) ((triple5) -> (rule8 % int5))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule5 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat is big.
("cat" "is" "big" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int5
The cow is nice.
("cow" "is" "nice" "+")
((((((triple9 ((((((triple5) -> (rule8 % int6))) -> (rule5 % int5)) ((triple5) -> (rule8 % int6))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule5 % int2)) ((triple9 ((((((triple5) -> (rule8 % int6))) -> (rule5 % int5)) ((triple5) -> (rule8 % int6))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
The cat is big.
("cat" "is" "big" "+")
int5
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int6