The bald eagle visits the dog. The cat is blue. The cow needs the bald eagle. The dog visits the cat. If something visits the cat then it is cold. If something likes the bald eagle then it does not like the dog.
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
If something visits the cat then it is cold.
((("something" "visits" "cat" "+")) -> ("something" "is" "cold" "+"))
If something likes the bald eagle then it does not like the dog.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "dog" "-"))
The cat is blue.
True
1
proof
[(triple2)]
("cat" "is" "blue" "+")
triple2
The bald eagle does not visit the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "visits" "dog" "-")
triple1
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "cold" "-")
The cow likes the cat.
Unknown
random
[@0: The cow likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cat" "+")
@0: The bald eagle visits the dog.[(triple1)] The cat is blue.[(triple2)] The cow needs the bald eagle.[(triple3)] The dog visits the cat.[(triple4)] @1: The dog is cold.[(((triple4) -> rule1))]
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple3
The dog visits the cat.
("dog" "visits" "cat" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1