The bald eagle chases the lion. The bald eagle is cold. The bald eagle is not rough. The bald eagle sees the dog. The dog chases the lion. The dog chases the squirrel. The dog eats the bald eagle. The dog eats the squirrel. The dog is cold. The lion eats the bald eagle. The lion eats the dog. The lion eats the squirrel. The lion sees the dog. The squirrel eats the lion. The squirrel is not rough. If the dog is cold and the dog eats the squirrel then the dog chases the bald eagle. If something chases the bald eagle then the bald eagle chases the dog. If the dog does not eat the lion and the dog does not see the bald eagle then the dog is green.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is cold.
("dog" "is" "cold" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
If the dog is cold and the dog eats the squirrel then the dog chases the bald eagle.
((("dog" "is" "cold" "+") ("dog" "eats" "squirrel" "+")) -> ("dog" "chases" "bald eagle" "+"))
If something chases the bald eagle then the bald eagle chases the dog.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If the dog does not eat the lion and the dog does not see the bald eagle then the dog is green.
((("dog" "eats" "lion" "~") ("dog" "sees" "bald eagle" "~")) -> ("dog" "is" "green" "+"))
The lion eats the squirrel.
True
1
proof
[(triple12)]
("lion" "eats" "squirrel" "+")
triple12
The dog does not eat the bald eagle.
False
1
inv-proof
[(triple7)]
("dog" "eats" "bald eagle" "-")
triple7
The dog chases the bald eagle.
True
3
proof
[(((triple9 triple8) -> rule1))]
("dog" "chases" "bald eagle" "+")
((triple9 triple8) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The dog does not chase the bald eagle.
False
3
inv-proof
[(((triple9 triple8) -> rule1))]
("dog" "chases" "bald eagle" "-")
((triple9 triple8) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The bald eagle chases the dog.
True
4
proof
[(((((triple9 triple8) -> rule1)) -> rule2))]
("bald eagle" "chases" "dog" "+")
((((triple9 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The bald eagle does not chase the dog.
False
4
inv-proof
[(((((triple9 triple8) -> rule1)) -> rule2))]
("bald eagle" "chases" "dog" "-")
((((triple9 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "green" "-")
The squirrel sees the lion.
Unknown
random
[@0: The squirrel sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "lion" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is not rough.[(triple3)] The bald eagle sees the dog.[(triple4)] The dog chases the lion.[(triple5)] The dog chases the squirrel.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog eats the squirrel.[(triple8)] The dog is cold.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion eats the dog.[(triple11)] The lion eats the squirrel.[(triple12)] The lion sees the dog.[(triple13)] The squirrel eats the lion.[(triple14)] The squirrel is not rough.[(triple15)] @1: The dog chases the bald eagle.[(((triple9 triple8) -> rule1))] @2: The bald eagle chases the dog.[(((((triple9 triple8) -> rule1)) -> rule2))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The dog chases the lion.
("dog" "chases" "lion" "+")
triple5
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple6
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple7
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple8
The dog is cold.
("dog" "is" "cold" "+")
triple9
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion eats the dog.
("lion" "eats" "dog" "+")
triple11
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple12
The lion sees the dog.
("lion" "sees" "dog" "+")
triple13
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple14
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple15
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
((triple9 triple8) -> (rule1 % int1))
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int1
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
((((triple9 triple8) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
int1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
int2