The bald eagle likes the rabbit. The dog chases the rabbit. The dog is red. The dog visits the rabbit. The rabbit is kind. The rabbit does not like the bald eagle. The rabbit visits the dog. If something chases the rabbit then it chases the dog.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is red.
("dog" "is" "red" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something chases the rabbit then it chases the dog.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "dog" "+"))
The dog visits the rabbit.
True
1
proof
[(triple4)]
("dog" "visits" "rabbit" "+")
triple4
The rabbit does not visit the dog.
False
1
inv-proof
[(triple7)]
("rabbit" "visits" "dog" "-")
triple7
The dog chases the dog.
True
2
proof
[(((triple2) -> rule1))]
("dog" "chases" "dog" "+")
((triple2) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not chase the dog.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "chases" "dog" "-")
((triple2) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The rabbit does not chase the dog.
Unknown
inv-rconc
[@1: The rabbit chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "dog" "-")
The bald eagle chases the dog.
Unknown
rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "dog" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is red.[(triple3)] The dog visits the rabbit.[(triple4)] The rabbit does not like the bald eagle.[(triple6)] The rabbit is kind.[(triple5)] The rabbit visits the dog.[(triple7)] @1: The dog chases the dog.[(((triple2) -> rule1))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple4
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple7
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple2) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1