The bald eagle is cold. The bald eagle needs the dog. The bald eagle needs the squirrel. The dog eats the bald eagle. The dog eats the squirrel. The dog is kind. The dog is red. The dog sees the squirrel. The squirrel eats the dog. The squirrel does not see the bald eagle. If something sees the squirrel then the squirrel is kind. If the squirrel needs the dog and the dog is not blue then the squirrel is kind. All blue things are nice. If the dog is kind then the dog is red. If something is nice then it does not eat the dog. If something sees the squirrel then the squirrel does not eat the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
If something sees the squirrel then the squirrel is kind.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If the squirrel needs the dog and the dog is not blue then the squirrel is kind.
((("squirrel" "needs" "dog" "+") ("dog" "is" "blue" "~")) -> ("squirrel" "is" "kind" "+"))
All blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If the dog is kind then the dog is red.
((("dog" "is" "kind" "+")) -> ("dog" "is" "red" "+"))
If something is nice then it does not eat the dog.
((("something" "is" "nice" "+")) -> ("something" "eats" "dog" "-"))
If something sees the squirrel then the squirrel does not eat the bald eagle.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "-"))
The squirrel eats the dog.
True
1
proof
[(triple9)]
("squirrel" "eats" "dog" "+")
triple9
The dog does not see the squirrel.
False
1
inv-proof
[(triple8)]
("dog" "sees" "squirrel" "-")
triple8
The squirrel is kind.
True
2
proof
[(((triple8) -> rule1))]
("squirrel" "is" "kind" "+")
((triple8) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is not kind.
False
2
inv-proof
[(((triple8) -> rule1))]
("squirrel" "is" "kind" "-")
((triple8) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "nice" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle eats the dog.
Unknown
random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The dog eats the bald eagle.[(triple4)] The dog eats the squirrel.[(triple5)] The dog is kind.[(triple6)] The dog is red.[(triple7 OR ((triple6) -> rule4))] The dog sees the squirrel.[(triple8)] The squirrel does not see the bald eagle.[(triple10)] The squirrel eats the dog.[(triple9)] @1: The squirrel does not eat the bald eagle.[(((triple8) -> rule6))] The squirrel is kind.[(((triple8) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog is red.
("dog" "is" "red" "+")
triple7
((triple6) -> (rule4 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple8
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple10
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple9
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
((triple8) -> (rule6 % int1))
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple8) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1