The bald eagle eats the squirrel. The bear eats the dog. The bear is not red. The dog is big. The dog is nice. The squirrel is rough. The squirrel likes the bald eagle. The squirrel likes the bear. The squirrel likes the dog. The squirrel visits the dog. If someone is young and they like the dog then they visit the bald eagle. If the squirrel eats the bald eagle then the squirrel is young. If someone is rough and they eat the bald eagle then the bald eagle does not visit the squirrel. If someone is nice then they eat the squirrel. If someone visits the dog then they eat the bald eagle. If the dog does not eat the squirrel then the dog likes the bear.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is not red.
("bear" "is" "red" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If someone is young and they like the dog then they visit the bald eagle.
((("someone" "is" "young" "+") ("someone" "likes" "dog" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the squirrel eats the bald eagle then the squirrel is young.
((("squirrel" "eats" "bald eagle" "+")) -> ("squirrel" "is" "young" "+"))
If someone is rough and they eat the bald eagle then the bald eagle does not visit the squirrel.
((("someone" "is" "rough" "+") ("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "visits" "squirrel" "-"))
If someone is nice then they eat the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone visits the dog then they eat the bald eagle.
((("someone" "visits" "dog" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the dog does not eat the squirrel then the dog likes the bear.
((("dog" "eats" "squirrel" "~")) -> ("dog" "likes" "bear" "+"))
The squirrel likes the bald eagle.
True
1
proof
[(triple7)]
("squirrel" "likes" "bald eagle" "+")
triple7
The dog is not big.
False
1
inv-proof
[(triple4)]
("dog" "is" "big" "-")
triple4
The squirrel eats the bald eagle.
True
2
proof
[(((triple10) -> rule5))]
("squirrel" "eats" "bald eagle" "+")
((triple10) -> (rule5 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel does not eat the bald eagle.
False
2
inv-proof
[(((triple10) -> rule5))]
("squirrel" "eats" "bald eagle" "-")
((triple10) -> (rule5 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is young.
True
3
proof
[(((((triple10) -> rule5)) -> rule2))]
("squirrel" "is" "young" "+")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The bald eagle visits the squirrel.
False
4
inv-proof
[(((triple6 ((triple10) -> rule5)) -> rule3))]
("bald eagle" "visits" "squirrel" "+")
((triple6 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
True
5
proof
[(((((((triple10) -> rule5)) -> rule2) triple9) -> rule1))]
("squirrel" "visits" "bald eagle" "+")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel does not visit the bald eagle.
False
5
inv-proof
[(((((((triple10) -> rule5)) -> rule2) triple9) -> rule1))]
("squirrel" "visits" "bald eagle" "-")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The dog does not eat the bald eagle.
Unknown
inv-rconc
[@1: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "bald eagle" "-")
The dog visits the bald eagle.
Unknown
rconc
[@1: The dog visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "bald eagle" "+")
The dog does not like the bear.
Unknown
inv-rconc
[@1: The dog likes the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "likes" "bear" "-")
The squirrel eats the squirrel.
Unknown
rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "squirrel" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The bald eagle visits the bear.
Unknown
random
[@0: The bald eagle visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bear" "+")
The bald eagle does not eat the bear.
Unknown
inv-random
[@0: The bald eagle eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bear eats the dog.[(triple2)] The bear is not red.[(triple3)] The dog is big.[(triple4)] The dog is nice.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the bald eagle.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The dog eats the squirrel.[(((triple5) -> rule4))] The squirrel eats the bald eagle.[(((triple10) -> rule5))] @2: The bald eagle does not visit the squirrel.[(((triple6 ((triple10) -> rule5)) -> rule3))] The squirrel is young.[(((((triple10) -> rule5)) -> rule2))] @3: The squirrel visits the bald eagle.[(((((((triple10) -> rule5)) -> rule2) triple9) -> rule1))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bear eats the dog.
("bear" "eats" "dog" "+")
triple2
The bear is not red.
("bear" "is" "red" "-")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple7
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple8
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple9
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple10
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple5) -> (rule4 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple10) -> (rule5 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
((triple6 ((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple9) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3