The bald eagle does not chase the lion. The bald eagle eats the dog. The dog chases the lion. The dog does not eat the lion. The dog is not big. The dog is cold. The dog is nice. The lion chases the dog. The lion is big. The lion is rough. If the lion is cold and the lion does not chase the bald eagle then the bald eagle does not chase the lion. If someone sees the lion then the lion is nice. If someone chases the bald eagle and the bald eagle eats the dog then the bald eagle is not rough. If the lion eats the bald eagle then the lion sees the dog. If someone is rough then they see the lion. If someone sees the lion and the lion is not young then the lion sees the bald eagle. If someone chases the dog then the dog eats the bald eagle. If someone eats the dog and they do not see the dog then they chase the dog.
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog does not eat the lion.
("dog" "eats" "lion" "-")
The dog is not big.
("dog" "is" "big" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is rough.
("lion" "is" "rough" "+")
If the lion is cold and the lion does not chase the bald eagle then the bald eagle does not chase the lion.
((("lion" "is" "cold" "+") ("lion" "chases" "bald eagle" "~")) -> ("bald eagle" "chases" "lion" "-"))
If someone sees the lion then the lion is nice.
((("someone" "sees" "lion" "+")) -> ("lion" "is" "nice" "+"))
If someone chases the bald eagle and the bald eagle eats the dog then the bald eagle is not rough.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "eats" "dog" "+")) -> ("bald eagle" "is" "rough" "-"))
If the lion eats the bald eagle then the lion sees the dog.
((("lion" "eats" "bald eagle" "+")) -> ("lion" "sees" "dog" "+"))
If someone is rough then they see the lion.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "lion" "+"))
If someone sees the lion and the lion is not young then the lion sees the bald eagle.
((("someone" "sees" "lion" "+") ("lion" "is" "young" "~")) -> ("lion" "sees" "bald eagle" "+"))
If someone chases the dog then the dog eats the bald eagle.
((("someone" "chases" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
If someone eats the dog and they do not see the dog then they chase the dog.
((("someone" "eats" "dog" "+") ("someone" "sees" "dog" "~")) -> ("someone" "chases" "dog" "+"))
The dog does not eat the lion.
True
1
proof
[(triple4)]
("dog" "eats" "lion" "-")
triple4
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "dog" "-")
triple2
The lion sees the lion.
True
2
proof
[(((triple10) -> rule5))]
("lion" "sees" "lion" "+")
((triple10) -> (rule5 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion does not see the lion.
False
2
inv-proof
[(((triple10) -> rule5))]
("lion" "sees" "lion" "-")
((triple10) -> (rule5 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion is nice.
True
3
proof
[(((((triple10) -> rule5)) -> rule2))]
("lion" "is" "nice" "+")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The lion is not nice.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule2))]
("lion" "is" "nice" "-")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2
The dog does not chase the dog.
Unknown
inv-rconc
[@1: The dog chases the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "chases" "dog" "-")
The bald eagle sees the lion.
Unknown
rconc
[@1: The bald eagle sees the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "lion" "+")
The lion does not see the bald eagle.
Unknown
inv-rconc
[@1: The lion sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "sees" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The dog does not see the bald eagle.
Unknown
inv-random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "-")
The lion is cold.
Unknown
random
[@0: The lion is cold.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "cold" "+")
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle eats the dog.[(triple2)] The dog chases the lion.[(triple3)] The dog does not eat the lion.[(triple4)] The dog is cold.[(triple6)] The dog is nice.[(triple7)] The dog is not big.[(triple5)] The lion chases the dog.[(triple8)] The lion is big.[(triple9)] The lion is rough.[(triple10)] @1: The dog eats the bald eagle.[(((triple8) -> rule7))] The lion sees the lion.[(((triple10) -> rule5))] @2: The lion is nice.[(((((triple10) -> rule5)) -> rule2))]
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The dog chases the lion.
("dog" "chases" "lion" "+")
triple3
The dog does not eat the lion.
("dog" "eats" "lion" "-")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is not big.
("dog" "is" "big" "-")
triple5
The lion chases the dog.
("lion" "chases" "dog" "+")
triple8
The lion is big.
("lion" "is" "big" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple8) -> (rule7 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
((triple10) -> (rule5 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
int2