The bald eagle eats the dog. The bald eagle sees the dog. The bald eagle visits the bear. The bear eats the bald eagle. The bear eats the rabbit. The bear sees the rabbit. The dog eats the bear. The dog does not eat the rabbit. The dog is big. The dog is blue. The dog sees the bald eagle. The dog sees the bear. The dog does not visit the rabbit. The rabbit eats the bald eagle. The rabbit eats the bear. The rabbit eats the dog. If the bear is red then the bear is blue. If someone visits the rabbit and the rabbit eats the dog then the rabbit does not eat the bear. All big, green people are red. If someone eats the bald eagle then they are green. If someone is blue then they eat the bear. If someone is green then they are big. If someone eats the bald eagle and they are not green then the bald eagle visits the bear.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
If the bear is red then the bear is blue.
((("bear" "is" "red" "+")) -> ("bear" "is" "blue" "+"))
If someone visits the rabbit and the rabbit eats the dog then the rabbit does not eat the bear.
((("someone" "visits" "rabbit" "+") ("rabbit" "eats" "dog" "+")) -> ("rabbit" "eats" "bear" "-"))
All big, green people are red.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone eats the bald eagle then they are green.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they eat the bear.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "bear" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone eats the bald eagle and they are not green then the bald eagle visits the bear.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "green" "~")) -> ("bald eagle" "visits" "bear" "+"))
The dog eats the bear.
True
1
proof
[(triple7 OR ((triple10) -> rule5))]
("dog" "eats" "bear" "+")
triple7
((triple10) -> (rule5 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The bear does not eat the bald eagle.
False
1
inv-proof
[(triple4)]
("bear" "eats" "bald eagle" "-")
triple4
The rabbit is green.
True
2
proof
[(((triple14) -> rule4))]
("rabbit" "is" "green" "+")
((triple14) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple4) -> rule4))]
("bear" "is" "green" "-")
((triple4) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is big.
True
3
proof
[(((((triple4) -> rule4)) -> rule6))]
("bear" "is" "big" "+")
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The rabbit is not big.
False
3
inv-proof
[(((((triple14) -> rule4)) -> rule6))]
("rabbit" "is" "big" "-")
((((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The bear is red.
True
6
proof
[(((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule3))]
("bear" "is" "red" "+")
((((((triple4) -> (rule4 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int3))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The rabbit is not red.
False
6
inv-proof
[(((((((triple14) -> rule4)) -> rule6) ((triple14) -> rule4)) -> rule3))]
("rabbit" "is" "red" "-")
((((((triple14) -> (rule4 % int3))) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The bear is blue.
True
7
proof
[(((((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule3)) -> rule1))]
("bear" "is" "blue" "+")
((((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((triple4) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear is not blue.
False
7
inv-proof
[(((((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule3)) -> rule1))]
("bear" "is" "blue" "-")
((((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((triple4) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear eats the bear.
True
8
proof
[(((((((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule3)) -> rule1)) -> rule5))]
("bear" "eats" "bear" "+")
((((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The bear does not eat the bear.
False
8
inv-proof
[(((((((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule3)) -> rule1)) -> rule5))]
("bear" "eats" "bear" "-")
((((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5
The bald eagle does not eat the bear.
Unknown
inv-rconc
[@1: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "eats" "bear" "-")
The bald eagle is big.
Unknown
rconc
[@2: The bald eagle is big.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("bald eagle" "is" "big" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@2: The bald eagle is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "green" "+")
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "green" "-")
The dog is red.
Unknown
rconc
[@2: The dog is red.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("dog" "is" "red" "+")
The bald eagle does not visit the rabbit.
Unknown
inv-random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The rabbit does not see the bald eagle.
Unknown
inv-random
[@0: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle sees the dog.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear eats the rabbit.[(triple5)] The bear sees the rabbit.[(triple6)] The dog does not eat the rabbit.[(triple8)] The dog does not visit the rabbit.[(triple13)] The dog eats the bear.[(triple7 OR ((triple10) -> rule5))] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog sees the bear.[(triple12)] The rabbit eats the bald eagle.[(triple14)] The rabbit eats the bear.[(triple15)] The rabbit eats the dog.[(triple16)] @1: The bear is green.[(((triple4) -> rule4))] The rabbit is green.[(((triple14) -> rule4))] @2: The bear is big.[(((((triple4) -> rule4)) -> rule6))] The rabbit is big.[(((((triple14) -> rule4)) -> rule6))] @3: The bear is red.[(((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule3))] The rabbit is red.[(((((((triple14) -> rule4)) -> rule6) ((triple14) -> rule4)) -> rule3))] @4: The bear is blue.[(((((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule3)) -> rule1))] @5: The bear eats the bear.[(((((((((((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule3)) -> rule1)) -> rule5))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple4
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple6
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
triple8
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
triple13
The dog eats the bear.
("dog" "eats" "bear" "+")
triple7
((triple10) -> (rule5 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple11
The dog sees the bear.
("dog" "sees" "bear" "+")
triple12
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple14
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple15
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple16
The bear is green.
("bear" "is" "green" "+")
((triple4) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple14) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
((((triple14) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((((((triple4) -> (rule4 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int3))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
((((((triple14) -> (rule4 % int3))) -> (rule6 % int2)) ((triple14) -> (rule4 % int3))) -> (rule3 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
int2
The rabbit is green.
("rabbit" "is" "green" "+")
int3
The bear is blue.
("bear" "is" "blue" "+")
((((((((triple4) -> (rule4 % int4))) -> (rule6 % int3)) ((triple4) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear is green.
("bear" "is" "green" "+")
int4
The bear eats the bear.
("bear" "eats" "bear" "+")
((((((((((triple4) -> (rule4 % int5))) -> (rule6 % int4)) ((triple4) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear is big.
("bear" "is" "big" "+")
int4
The bear is green.
("bear" "is" "green" "+")
int5