The bald eagle eats the dog. The bald eagle is big. The bald eagle needs the cat. The bald eagle visits the cat. The bald eagle visits the lion. The cat eats the lion. The cat is blue. The cat is nice. The cat does not need the dog. The dog eats the cat. The dog is big. The dog is blue. The dog is green. The dog needs the cat. The dog visits the lion. The lion is not nice. If something visits the bald eagle and the bald eagle visits the dog then the dog is round. If something eats the dog and it is not blue then it is not big. If something is blue and nice then it needs the cat. If something visits the lion then it needs the cat. If something needs the bald eagle and it visits the dog then it is green. If something is round and it needs the bald eagle then the bald eagle eats the cat.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat does not need the dog.
("cat" "needs" "dog" "-")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is not nice.
("lion" "is" "nice" "-")
If something visits the bald eagle and the bald eagle visits the dog then the dog is round.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "dog" "+")) -> ("dog" "is" "round" "+"))
If something eats the dog and it is not blue then it is not big.
((("something" "eats" "dog" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "-"))
If something is blue and nice then it needs the cat.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "cat" "+"))
If something visits the lion then it needs the cat.
((("something" "visits" "lion" "+")) -> ("something" "needs" "cat" "+"))
If something needs the bald eagle and it visits the dog then it is green.
((("something" "needs" "bald eagle" "+") ("something" "visits" "dog" "+")) -> ("something" "is" "green" "+"))
If something is round and it needs the bald eagle then the bald eagle eats the cat.
((("something" "is" "round" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
The bald eagle visits the lion.
True
1
proof
[(triple5)]
("bald eagle" "visits" "lion" "+")
triple5
The bald eagle is not big.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "big" "-")
triple2
The cat needs the cat.
True
3
proof
[(((triple7 triple8) -> rule3))]
("cat" "needs" "cat" "+")
((triple7 triple8) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat does not need the cat.
False
3
inv-proof
[(((triple7 triple8) -> rule3))]
("cat" "needs" "cat" "-")
((triple7 triple8) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The lion does not need the cat.
Unknown
inv-rconc
[@1: The lion needs the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "cat" "-")
The lion is green.
Unknown
rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "green" "+")
The lion does not eat the bald eagle.
Unknown
inv-random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "-")
The lion needs the bald eagle.
Unknown
random
[@0: The lion needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bald eagle" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle needs the cat.[(triple3 OR ((triple5) -> rule4))] The bald eagle visits the cat.[(triple4)] The bald eagle visits the lion.[(triple5)] The cat does not need the dog.[(triple9)] The cat eats the lion.[(triple6)] The cat is blue.[(triple7)] The cat is nice.[(triple8)] The dog eats the cat.[(triple10)] The dog is big.[(triple11)] The dog is blue.[(triple12)] The dog is green.[(triple13)] The dog needs the cat.[(triple14 OR ((triple15) -> rule4))] The dog visits the lion.[(triple15)] The lion is not nice.[(triple16)] @1: The cat needs the cat.[(((triple7 triple8) -> rule3))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
((triple5) -> (rule4 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The cat does not need the dog.
("cat" "needs" "dog" "-")
triple9
The cat eats the lion.
("cat" "eats" "lion" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7
The cat is nice.
("cat" "is" "nice" "+")
triple8
The dog eats the cat.
("dog" "eats" "cat" "+")
triple10
The dog is big.
("dog" "is" "big" "+")
triple11
The dog is blue.
("dog" "is" "blue" "+")
triple12
The dog is green.
("dog" "is" "green" "+")
triple13
The dog needs the cat.
("dog" "needs" "cat" "+")
triple14
((triple15) -> (rule4 % int1))
The dog needs the cat.
("dog" "needs" "cat" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple15
The lion is not nice.
("lion" "is" "nice" "-")
triple16
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple7 triple8) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1