The bald eagle eats the dog. The bald eagle is big. The bald eagle is round. The bald eagle needs the cow. The cow chases the dog. The cow is big. The dog chases the cow. The dog is big. The dog is green. The lion is nice. If someone chases the dog and they are big then the dog is green. If someone is green then they need the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
If someone chases the dog and they are big then the dog is green.
((("someone" "chases" "dog" "+") ("someone" "is" "big" "+")) -> ("dog" "is" "green" "+"))
If someone is green then they need the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "needs" "bald eagle" "+"))
The cow is big.
True
1
proof
[(triple6)]
("cow" "is" "big" "+")
triple6
The bald eagle does not need the cow.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "cow" "-")
triple4
The dog needs the bald eagle.
True
2
proof
[(((triple9) -> rule2) OR ((((triple5 triple6) -> rule1)) -> rule2))]
("dog" "needs" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog does not need the bald eagle.
False
2
inv-proof
[(((triple9) -> rule2) OR ((((triple5 triple6) -> rule1)) -> rule2))]
("dog" "needs" "bald eagle" "-")
((triple9) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The lion does not need the bald eagle.
Unknown
inv-rconc
[@1: The lion needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "bald eagle" "-")
The cow needs the bald eagle.
Unknown
rconc
[@1: The cow needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "bald eagle" "+")
The bald eagle does not chase the dog.
Unknown
inv-random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow chases the dog.[(triple5)] The cow is big.[(triple6)] The dog chases the cow.[(triple7)] The dog is big.[(triple8)] The dog is green.[(triple9 OR ((triple5 triple6) -> rule1))] The lion is nice.[(triple10)] @1: The dog needs the bald eagle.[(((triple9) -> rule2) OR ((((triple5 triple6) -> rule1)) -> rule2))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple4
The cow chases the dog.
("cow" "chases" "dog" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The dog chases the cow.
("dog" "chases" "cow" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
((triple5 triple6) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
((((triple5 triple6) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2