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