The bald eagle likes the dog. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The dog is round. The dog sees the bald eagle. The dog does not see the rabbit. The dog does not visit the bald eagle. The rabbit is cold. The rabbit is red. The rabbit sees the dog. If someone visits the rabbit and they are kind then they do not see the rabbit. If someone sees the rabbit then they visit the bald eagle. If someone is rough and they visit the dog then they are cold. If someone sees the rabbit and they are not red then they do not visit the rabbit. If someone is cold and they visit the dog then the dog sees the rabbit. If someone visits the rabbit then they visit the dog.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone visits the rabbit and they are kind then they do not see the rabbit.
((("someone" "visits" "rabbit" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "rabbit" "-"))
If someone sees the rabbit then they visit the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is rough and they visit the dog then they are cold.
((("someone" "is" "rough" "+") ("someone" "visits" "dog" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the rabbit and they are not red then they do not visit the rabbit.
((("someone" "sees" "rabbit" "+") ("someone" "is" "red" "~")) -> ("someone" "visits" "rabbit" "-"))
If someone is cold and they visit the dog then the dog sees the rabbit.
((("someone" "is" "cold" "+") ("someone" "visits" "dog" "+")) -> ("dog" "sees" "rabbit" "+"))
If someone visits the rabbit then they visit the dog.
((("someone" "visits" "rabbit" "+")) -> ("someone" "visits" "dog" "+"))
The rabbit is red.
True
1
proof
[(triple9)]
("rabbit" "is" "red" "+")
triple9
The rabbit is not cold.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "cold" "-")
triple8
The bald eagle visits the bald eagle.
True
2
proof
[(((triple3) -> rule2))]
("bald eagle" "visits" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple3) -> rule2))]
("bald eagle" "visits" "bald eagle" "-")
((triple3) -> (rule2 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "cold" "-")
The dog visits the dog.
Unknown
rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "visits" "dog" "+")
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The dog does not see the rabbit.[(triple6)] The dog does not visit the bald eagle.[(triple7)] The dog is round.[(triple4)] The dog sees the bald eagle.[(triple5)] The rabbit is cold.[(triple8)] The rabbit is red.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The bald eagle visits the bald eagle.[(((triple3) -> rule2))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple3
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple6
The dog does not visit the bald eagle.
("dog" "visits" "bald eagle" "-")
triple7
The dog is round.
("dog" "is" "round" "+")
triple4
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple5
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1