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