The bald eagle chases the dog. The bald eagle is blue. The bald eagle is kind. The bald eagle visits the cow. The cat chases the cow. The cat is nice. The cow likes the cat. The dog chases the cow. The dog likes the bald eagle. The dog visits the cow. If someone chases the cow then they do not like the cow. If someone chases the cow and they do not like the cow then they visit the bald eagle. If the dog visits the cow and the dog does not visit the bald eagle then the dog is cold.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone chases the cow then they do not like the cow.
((("someone" "chases" "cow" "+")) -> ("someone" "likes" "cow" "-"))
If someone chases the cow and they do not like the cow then they visit the bald eagle.
((("someone" "chases" "cow" "+") ("someone" "likes" "cow" "~")) -> ("someone" "visits" "bald eagle" "+"))
If the dog visits the cow and the dog does not visit the bald eagle then the dog is cold.
((("dog" "visits" "cow" "+") ("dog" "visits" "bald eagle" "~")) -> ("dog" "is" "cold" "+"))
The bald eagle is blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "+")
triple2
The cat is not nice.
False
1
inv-proof
[(triple6)]
("cat" "is" "nice" "-")
triple6
The dog does not like the cow.
True
2
proof
[(((triple8) -> rule1))]
("dog" "likes" "cow" "-")
((triple8) -> (rule1 % int1))
The dog does not like the cow.
("dog" "likes" "cow" "-")
int1
The cat likes the cow.
False
2
inv-proof
[(((triple5) -> rule1))]
("cat" "likes" "cow" "+")
((triple5) -> (rule1 % int1))
The cat does not like the cow.
("cat" "likes" "cow" "-")
int1
The dog visits the bald eagle.
True
4
proof
[(((triple8 ((triple8) -> rule1)) -> rule2))]
("dog" "visits" "bald eagle" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog does not like the cow.
("dog" "likes" "cow" "-")
int2
The cat does not visit the bald eagle.
False
4
inv-proof
[(((triple5 ((triple5) -> rule1)) -> rule2))]
("cat" "visits" "bald eagle" "-")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat does not like the cow.
("cat" "likes" "cow" "-")
int2
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cow visits the bald eagle.
Unknown
rconc
[@1: The cow visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "bald eagle" "+")
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "cold" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle visits the cow.[(triple4)] The cat chases the cow.[(triple5)] The cat is nice.[(triple6)] The cow likes the cat.[(triple7)] The dog chases the cow.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog visits the cow.[(triple10)] @1: The cat does not like the cow.[(((triple5) -> rule1))] The dog does not like the cow.[(((triple8) -> rule1))] @2: The cat visits the bald eagle.[(((triple5 ((triple5) -> rule1)) -> rule2))] The dog visits the bald eagle.[(((triple8 ((triple8) -> rule1)) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The cat chases the cow.
("cat" "chases" "cow" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple7
The dog chases the cow.
("dog" "chases" "cow" "+")
triple8
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The cat does not like the cow.
("cat" "likes" "cow" "-")
((triple5) -> (rule1 % int1))
The cat does not like the cow.
("cat" "likes" "cow" "-")
int1
The dog does not like the cow.
("dog" "likes" "cow" "-")
((triple8) -> (rule1 % int1))
The dog does not like the cow.
("dog" "likes" "cow" "-")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((triple5 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat does not like the cow.
("cat" "likes" "cow" "-")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple8 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog does not like the cow.
("dog" "likes" "cow" "-")
int2