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