The bald eagle is cold. The cat visits the bald eagle. The dog is nice. The dog visits the cat. The rabbit is blue. The rabbit visits the cat. The rabbit visits the dog. If someone visits the bald eagle then the bald eagle sees the cat. If someone sees the dog then they are big. If someone is cold and they see the rabbit then the rabbit visits the dog.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone visits the bald eagle then the bald eagle sees the cat.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "cat" "+"))
If someone sees the dog then they are big.
((("someone" "sees" "dog" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and they see the rabbit then the rabbit visits the dog.
((("someone" "is" "cold" "+") ("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "dog" "+"))
The cat visits the bald eagle.
True
1
proof
[(triple2)]
("cat" "visits" "bald eagle" "+")
triple2
The cat does not visit the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "visits" "bald eagle" "-")
triple2
The bald eagle sees the cat.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "sees" "cat" "+")
((triple2) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The bald eagle does not see the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "sees" "cat" "-")
((triple2) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "big" "-")
The cat is big.
Unknown
rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "big" "+")
The cat does not visit the rabbit.
Unknown
inv-random
[@0: The cat visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bald eagle is cold.[(triple1)] The cat visits the bald eagle.[(triple2)] The dog is nice.[(triple3)] The dog visits the cat.[(triple4)] The rabbit is blue.[(triple5)] The rabbit visits the cat.[(triple6)] The rabbit visits the dog.[(triple7)] @1: The bald eagle sees the cat.[(((triple2) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog visits the cat.
("dog" "visits" "cat" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple6
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple7
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
((triple2) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1