The bald eagle eats the dog. The bald eagle does not need the cat. The cat eats the bald eagle. The cat eats the rabbit. The cat needs the bald eagle. The cat needs the dog. The dog eats the cat. The dog is nice. The dog needs the bald eagle. The rabbit eats the cat. The rabbit is young. The rabbit sees the dog. If someone sees the rabbit and the rabbit does not need the dog then they are red. Young people are red. If someone sees the bald eagle and they are red then the bald eagle sees the dog. If someone sees the dog then they see the bald eagle. If someone eats the rabbit then they are not kind. Nice people are kind. If the rabbit needs the cat then the rabbit sees the bald eagle. If someone is red and they see the cat then the cat needs the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone sees the rabbit and the rabbit does not need the dog then they are red.
((("someone" "sees" "rabbit" "+") ("rabbit" "needs" "dog" "~")) -> ("someone" "is" "red" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone sees the bald eagle and they are red then the bald eagle sees the dog.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "red" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone sees the dog then they see the bald eagle.
((("someone" "sees" "dog" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone eats the rabbit then they are not kind.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "kind" "-"))
Nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If the rabbit needs the cat then the rabbit sees the bald eagle.
((("rabbit" "needs" "cat" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
If someone is red and they see the cat then the cat needs the bald eagle.
((("someone" "is" "red" "+") ("someone" "sees" "cat" "+")) -> ("cat" "needs" "bald eagle" "+"))
The dog is nice.
True
1
proof
[(triple8)]
("dog" "is" "nice" "+")
triple8
The dog does not need the bald eagle.
False
1
inv-proof
[(triple9)]
("dog" "needs" "bald eagle" "-")
triple9
The rabbit is red.
True
2
proof
[(((triple11) -> rule2))]
("rabbit" "is" "red" "+")
((triple11) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit does not see the bald eagle.
False
2
inv-proof
[(((triple12) -> rule4))]
("rabbit" "sees" "bald eagle" "-")
((triple12) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle sees the dog.
True
5
proof
[(((((triple12) -> rule4) ((triple11) -> rule2)) -> rule3))]
("bald eagle" "sees" "dog" "+")
((((triple12) -> (rule4 % int3)) ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle does not see the dog.
False
5
inv-proof
[(((((triple12) -> rule4) ((triple11) -> rule2)) -> rule3))]
("bald eagle" "sees" "dog" "-")
((((triple12) -> (rule4 % int3)) ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle sees the bald eagle.
True
6
proof
[(((((((triple12) -> rule4) ((triple11) -> rule2)) -> rule3)) -> rule4))]
("bald eagle" "sees" "bald eagle" "+")
((((((triple12) -> (rule4 % int4)) ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4
The bald eagle does not see the bald eagle.
False
6
inv-proof
[(((((((triple12) -> rule4) ((triple11) -> rule2)) -> rule3)) -> rule4))]
("bald eagle" "sees" "bald eagle" "-")
((((((triple12) -> (rule4 % int4)) ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "red" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "kind" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "+")
The cat does not need the rabbit.
Unknown
inv-random
[@0: The cat needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "rabbit" "-")
The cat sees the dog.
Unknown
random
[@0: The cat sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "dog" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The bald eagle needs the rabbit.
Unknown
random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "+")
@0: The bald eagle does not need the cat.[(triple2)] The bald eagle eats the dog.[(triple1)] The cat eats the bald eagle.[(triple3)] The cat eats the rabbit.[(triple4)] The cat needs the bald eagle.[(triple5)] The cat needs the dog.[(triple6)] The dog eats the cat.[(triple7)] The dog is nice.[(triple8)] The dog needs the bald eagle.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is young.[(triple11)] The rabbit sees the dog.[(triple12)] @1: The cat is not kind.[(((triple4) -> rule5))] The dog is kind.[(((triple8) -> rule6))] The rabbit is red.[(((triple11) -> rule2))] The rabbit sees the bald eagle.[(((triple12) -> rule4))] @2: The bald eagle sees the dog.[(((((triple12) -> rule4) ((triple11) -> rule2)) -> rule3))] @3: The bald eagle sees the bald eagle.[(((((((triple12) -> rule4) ((triple11) -> rule2)) -> rule3)) -> rule4))]
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
triple2
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple4
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple5
The cat needs the dog.
("cat" "needs" "dog" "+")
triple6
The dog eats the cat.
("dog" "eats" "cat" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit is young.
("rabbit" "is" "young" "+")
triple11
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple12
The cat is not kind.
("cat" "is" "kind" "-")
((triple4) -> (rule5 % int1))
The cat is not kind.
("cat" "is" "kind" "-")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple8) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple11) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple12) -> (rule4 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((((triple12) -> (rule4 % int3)) ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int3
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((triple12) -> (rule4 % int4)) ((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int4