The bald eagle eats the dog. The bald eagle is not nice. The bald eagle visits the dog. The cat eats the dog. The cat is cold. The cat is green. The cat is not nice. The cat is young. The cat likes the dog. The cat visits the dog. The cow eats the cat. The cow eats the dog. The cow is nice. The dog eats the bald eagle. The dog visits the bald eagle. The dog visits the cat. If the cow visits the cat then the cow likes the cat. If something is kind and it does not eat the dog then it visits the cow. If something is young then it visits the cow. If something likes the cow and it is not kind then it is nice. If something visits the cow then the cow does not visit the cat. If something is kind and green then it likes the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat is young.
("cat" "is" "young" "+")
The cat likes the dog.
("cat" "likes" "dog" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is nice.
("cow" "is" "nice" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If the cow visits the cat then the cow likes the cat.
((("cow" "visits" "cat" "+")) -> ("cow" "likes" "cat" "+"))
If something is kind and it does not eat the dog then it visits the cow.
((("something" "is" "kind" "+") ("something" "eats" "dog" "~")) -> ("something" "visits" "cow" "+"))
If something is young then it visits the cow.
((("something" "is" "young" "+")) -> ("something" "visits" "cow" "+"))
If something likes the cow and it is not kind then it is nice.
((("something" "likes" "cow" "+") ("something" "is" "kind" "~")) -> ("something" "is" "nice" "+"))
If something visits the cow then the cow does not visit the cat.
((("something" "visits" "cow" "+")) -> ("cow" "visits" "cat" "-"))
If something is kind and green then it likes the bald eagle.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "likes" "bald eagle" "+"))
The cow is nice.
True
1
proof
[(triple13)]
("cow" "is" "nice" "+")
triple13
The cat is not cold.
False
1
inv-proof
[(triple5)]
("cat" "is" "cold" "-")
triple5
The cat visits the cow.
True
2
proof
[(((triple8) -> rule3))]
("cat" "visits" "cow" "+")
((triple8) -> (rule3 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cat does not visit the cow.
False
2
inv-proof
[(((triple8) -> rule3))]
("cat" "visits" "cow" "-")
((triple8) -> (rule3 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cow does not visit the cow.
Unknown
inv-rconc
[@1: The cow visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "cow" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The bald eagle eats the cow.
Unknown
random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle visits the dog.[(triple3)] The cat eats the dog.[(triple4)] The cat is cold.[(triple5)] The cat is green.[(triple6)] The cat is not nice.[(triple7)] The cat is young.[(triple8)] The cat likes the dog.[(triple9)] The cat visits the dog.[(triple10)] The cow eats the cat.[(triple11)] The cow eats the dog.[(triple12)] The cow is nice.[(triple13)] The dog eats the bald eagle.[(triple14)] The dog visits the bald eagle.[(triple15)] The dog visits the cat.[(triple16)] @1: The cat visits the cow.[(((triple8) -> rule3))] @2: The cow does not visit the cat.[(((((triple8) -> rule3)) -> rule5))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The cat eats the dog.
("cat" "eats" "dog" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat is not nice.
("cat" "is" "nice" "-")
triple7
The cat is young.
("cat" "is" "young" "+")
triple8
The cat likes the dog.
("cat" "likes" "dog" "+")
triple9
The cat visits the dog.
("cat" "visits" "dog" "+")
triple10
The cow eats the cat.
("cow" "eats" "cat" "+")
triple11
The cow eats the dog.
("cow" "eats" "dog" "+")
triple12
The cow is nice.
("cow" "is" "nice" "+")
triple13
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple14
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple15
The dog visits the cat.
("dog" "visits" "cat" "+")
triple16
The cat visits the cow.
("cat" "visits" "cow" "+")
((triple8) -> (rule3 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cow does not visit the cat.
("cow" "visits" "cat" "-")
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
The cow does not visit the cat.
("cow" "visits" "cat" "-")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2