The bald eagle does not need the dog. The dog is nice. The dog is round. The squirrel eats the bald eagle. The squirrel is round. The squirrel needs the dog. The squirrel sees the dog. If someone eats the squirrel and the squirrel eats the dog then they are nice. If the dog is not kind then the dog does not see the bald eagle. If someone is round then they are not rough. If the bald eagle sees the dog then the bald eagle eats the dog. If someone sees the dog and they are rough then the dog is cold. If someone needs the dog and they are not rough then the dog eats the bald eagle. If the bald eagle sees the dog and the bald eagle is not rough then the dog needs the bald eagle. If someone eats the bald eagle then they do not need the squirrel.
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If someone eats the squirrel and the squirrel eats the dog then they are nice.
((("someone" "eats" "squirrel" "+") ("squirrel" "eats" "dog" "+")) -> ("someone" "is" "nice" "+"))
If the dog is not kind then the dog does not see the bald eagle.
((("dog" "is" "kind" "~")) -> ("dog" "sees" "bald eagle" "-"))
If someone is round then they are not rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "-"))
If the bald eagle sees the dog then the bald eagle eats the dog.
((("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "eats" "dog" "+"))
If someone sees the dog and they are rough then the dog is cold.
((("someone" "sees" "dog" "+") ("someone" "is" "rough" "+")) -> ("dog" "is" "cold" "+"))
If someone needs the dog and they are not rough then the dog eats the bald eagle.
((("someone" "needs" "dog" "+") ("someone" "is" "rough" "~")) -> ("dog" "eats" "bald eagle" "+"))
If the bald eagle sees the dog and the bald eagle is not rough then the dog needs the bald eagle.
((("bald eagle" "sees" "dog" "+") ("bald eagle" "is" "rough" "~")) -> ("dog" "needs" "bald eagle" "+"))
If someone eats the bald eagle then they do not need the squirrel.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "squirrel" "-"))
The squirrel eats the bald eagle.
True
1
proof
[(triple4)]
("squirrel" "eats" "bald eagle" "+")
triple4
The dog is not nice.
False
1
inv-proof
[(triple2)]
("dog" "is" "nice" "-")
triple2
The dog is not rough.
True
2
proof
[(((triple3) -> rule3))]
("dog" "is" "rough" "-")
((triple3) -> (rule3 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The squirrel is rough.
False
2
inv-proof
[(((triple5) -> rule3))]
("squirrel" "is" "rough" "+")
((triple5) -> (rule3 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The dog eats the bald eagle.
True
4
proof
[(((triple6 ((triple5) -> rule3)) -> rule6))]
("dog" "eats" "bald eagle" "+")
((triple6 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int2
The dog does not eat the bald eagle.
False
4
inv-proof
[(((triple6 ((triple5) -> rule3)) -> rule6))]
("dog" "eats" "bald eagle" "-")
((triple6 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int2
The dog does not need the squirrel.
True
5
proof
[(((((triple6 ((triple5) -> rule3)) -> rule6)) -> rule8))]
("dog" "needs" "squirrel" "-")
((((triple6 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int3
The dog needs the squirrel.
False
5
inv-proof
[(((((triple6 ((triple5) -> rule3)) -> rule6)) -> rule8))]
("dog" "needs" "squirrel" "+")
((((triple6 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int3
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "cold" "-")
The bald eagle is nice.
Unknown
rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "+")
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "-")
The bald eagle eats the dog.
Unknown
rconc
[@1: The bald eagle eats the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "dog" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bald eagle does not need the dog.[(triple1)] The dog is nice.[(triple2)] The dog is round.[(triple3)] The squirrel eats the bald eagle.[(triple4)] The squirrel is round.[(triple5)] The squirrel needs the dog.[(triple6)] The squirrel sees the dog.[(triple7)] @1: The dog is not rough.[(((triple3) -> rule3))] The squirrel does not need the squirrel.[(((triple4) -> rule8))] The squirrel is not rough.[(((triple5) -> rule3))] @2: The dog eats the bald eagle.[(((triple6 ((triple5) -> rule3)) -> rule6))] @3: The dog does not need the squirrel.[(((((triple6 ((triple5) -> rule3)) -> rule6)) -> rule8))]
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple6
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple7
The dog is not rough.
("dog" "is" "rough" "-")
((triple3) -> (rule3 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The squirrel does not need the squirrel.
("squirrel" "needs" "squirrel" "-")
((triple4) -> (rule8 % int1))
The squirrel does not need the squirrel.
("squirrel" "needs" "squirrel" "-")
int1
The squirrel is not rough.
("squirrel" "is" "rough" "-")
((triple5) -> (rule3 % int1))
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple6 ((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int2
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
((((triple6 ((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The dog does not need the squirrel.
("dog" "needs" "squirrel" "-")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The squirrel is not rough.
("squirrel" "is" "rough" "-")
int3