The bald eagle is rough. The bald eagle does not need the dog. The bald eagle visits the dog. The cow eats the bald eagle. The cow eats the dog. The dog eats the bald eagle. The dog does not eat the cow. The dog is rough. The dog is round. The dog visits the cow. The tiger visits the bald eagle. The tiger visits the cow. If something visits the tiger then it visits the cow. If something visits the bald eagle then the bald eagle does not eat the tiger. If something visits the dog then the dog visits the tiger. If something eats the dog then it is rough. If the bald eagle visits the tiger then the tiger visits the dog. If something visits the tiger and the tiger eats the cow then it eats the cow.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog does not eat the cow.
("dog" "eats" "cow" "-")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If something visits the tiger then it visits the cow.
((("something" "visits" "tiger" "+")) -> ("something" "visits" "cow" "+"))
If something visits the bald eagle then the bald eagle does not eat the tiger.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "tiger" "-"))
If something visits the dog then the dog visits the tiger.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "tiger" "+"))
If something eats the dog then it is rough.
((("something" "eats" "dog" "+")) -> ("something" "is" "rough" "+"))
If the bald eagle visits the tiger then the tiger visits the dog.
((("bald eagle" "visits" "tiger" "+")) -> ("tiger" "visits" "dog" "+"))
If something visits the tiger and the tiger eats the cow then it eats the cow.
((("something" "visits" "tiger" "+") ("tiger" "eats" "cow" "+")) -> ("something" "eats" "cow" "+"))
The tiger visits the cow.
True
1
proof
[(triple12)]
("tiger" "visits" "cow" "+")
triple12
The cow does not eat the dog.
False
1
inv-proof
[(triple5)]
("cow" "eats" "dog" "-")
triple5
The dog visits the tiger.
True
2
proof
[(((triple3) -> rule3))]
("dog" "visits" "tiger" "+")
((triple3) -> (rule3 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple5) -> rule4))]
("cow" "is" "rough" "-")
((triple5) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The tiger does not visit the dog.
Unknown
inv-rconc
[@1: The tiger visits the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "visits" "dog" "-")
The tiger eats the cow.
Unknown
rconc
[@1: The tiger eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "eats" "cow" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The cow eats the tiger.
Unknown
random
[@0: The cow eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "tiger" "+")
@0: The bald eagle does not need the dog.[(triple2)] The bald eagle is rough.[(triple1)] The bald eagle visits the dog.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow eats the dog.[(triple5)] The dog does not eat the cow.[(triple7)] The dog eats the bald eagle.[(triple6)] The dog is rough.[(triple8)] The dog is round.[(triple9)] The dog visits the cow.[(triple10 OR ((((triple3) -> rule3)) -> rule1))] The tiger visits the bald eagle.[(triple11)] The tiger visits the cow.[(triple12)] @1: The bald eagle does not eat the tiger.[(((triple11) -> rule2))] The cow is rough.[(((triple5) -> rule4))] The dog visits the tiger.[(((triple3) -> rule3))]
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple4
The cow eats the dog.
("cow" "eats" "dog" "+")
triple5
The dog does not eat the cow.
("dog" "eats" "cow" "-")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The dog visits the cow.
("dog" "visits" "cow" "+")
int1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple11
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple12
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
((triple11) -> (rule2 % int1))
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple5) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
((triple3) -> (rule3 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1