The bald eagle is big. The bald eagle does not need the squirrel. The bald eagle sees the dog. The dog is big. The dog is green. The dog sees the bald eagle. The squirrel eats the bald eagle. The squirrel eats the dog. The squirrel is blue. The squirrel is nice. The squirrel is round. The squirrel does not see the bald eagle. If someone is blue then they are big. If the bald eagle sees the squirrel and the dog does not see the bald eagle then the dog needs the bald eagle. If the dog does not need the squirrel then the dog sees the squirrel. If the bald eagle is nice then the bald eagle is blue. If someone sees the dog then they eat the squirrel. If someone is big and they see the dog then they are round. If someone needs the bald eagle and the bald eagle does not see the squirrel then the bald eagle is nice. If someone sees the bald eagle then they eat the dog.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If the bald eagle sees the squirrel and the dog does not see the bald eagle then the dog needs the bald eagle.
((("bald eagle" "sees" "squirrel" "+") ("dog" "sees" "bald eagle" "~")) -> ("dog" "needs" "bald eagle" "+"))
If the dog does not need the squirrel then the dog sees the squirrel.
((("dog" "needs" "squirrel" "~")) -> ("dog" "sees" "squirrel" "+"))
If the bald eagle is nice then the bald eagle is blue.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "is" "blue" "+"))
If someone sees the dog then they eat the squirrel.
((("someone" "sees" "dog" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is big and they see the dog then they are round.
((("someone" "is" "big" "+") ("someone" "sees" "dog" "+")) -> ("someone" "is" "round" "+"))
If someone needs the bald eagle and the bald eagle does not see the squirrel then the bald eagle is nice.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "sees" "squirrel" "~")) -> ("bald eagle" "is" "nice" "+"))
If someone sees the bald eagle then they eat the dog.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "eats" "dog" "+"))
The squirrel is round.
True
1
proof
[(triple11)]
("squirrel" "is" "round" "+")
triple11
The squirrel is not round.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "round" "-")
triple11
The squirrel is big.
True
2
proof
[(((triple9) -> rule1))]
("squirrel" "is" "big" "+")
((triple9) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple9) -> rule1))]
("squirrel" "is" "big" "-")
((triple9) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The dog does not need the bald eagle.
Unknown
inv-rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "bald eagle" "-")
The bald eagle is blue.
Unknown
rconc
[@2: The bald eagle is blue.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle does not need the dog.
Unknown
inv-random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "-")
The squirrel needs the bald eagle.
Unknown
random
[@0: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "bald eagle" "+")
@0: The bald eagle does not need the squirrel.[(triple2)] The bald eagle is big.[(triple1)] The bald eagle sees the dog.[(triple3)] The dog is big.[(triple4)] The dog is green.[(triple5)] The dog sees the bald eagle.[(triple6)] The squirrel does not see the bald eagle.[(triple12)] The squirrel eats the bald eagle.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel is blue.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is round.[(triple11)] @1: The bald eagle eats the squirrel.[(((triple3) -> rule5))] The bald eagle is round.[(((triple1 triple3) -> rule6))] The dog eats the dog.[(((triple6) -> rule8))] The squirrel is big.[(((triple9) -> rule1))]
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple6
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple12
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple7
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
((triple3) -> (rule5 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1 triple3) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple6) -> (rule8 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple9) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1