The bald eagle likes the dog. The bald eagle does not see the tiger. The bald eagle visits the tiger. The dog is nice. The dog likes the bald eagle. The mouse is kind. The mouse is young. The mouse likes the tiger. The mouse visits the bald eagle. The tiger is nice. If something likes the bald eagle then it does not visit the dog. If something is nice then it likes the bald eagle. If something is big then it likes the mouse. If something likes the dog then it visits the mouse. If something sees the dog then the dog visits the bald eagle. If something visits the dog and the dog does not see the tiger then the tiger visits the mouse.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If something likes the bald eagle then it does not visit the dog.
((("something" "likes" "bald eagle" "+")) -> ("something" "visits" "dog" "-"))
If something is nice then it likes the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is big then it likes the mouse.
((("something" "is" "big" "+")) -> ("something" "likes" "mouse" "+"))
If something likes the dog then it visits the mouse.
((("something" "likes" "dog" "+")) -> ("something" "visits" "mouse" "+"))
If something sees the dog then the dog visits the bald eagle.
((("something" "sees" "dog" "+")) -> ("dog" "visits" "bald eagle" "+"))
If something visits the dog and the dog does not see the tiger then the tiger visits the mouse.
((("something" "visits" "dog" "+") ("dog" "sees" "tiger" "~")) -> ("tiger" "visits" "mouse" "+"))
The mouse is young.
True
1
proof
[(triple7)]
("mouse" "is" "young" "+")
triple7
The dog does not like the bald eagle.
False
1
inv-proof
[(triple5 OR ((triple4) -> rule2))]
("dog" "likes" "bald eagle" "-")
triple5
((triple4) -> (rule2 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The tiger likes the bald eagle.
True
2
proof
[(((triple10) -> rule2))]
("tiger" "likes" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The dog visits the dog.
False
2
inv-proof
[(((triple5) -> rule1) OR ((((triple4) -> rule2)) -> rule1))]
("dog" "visits" "dog" "+")
((triple5) -> (rule1 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The tiger does not visit the dog.
True
3
proof
[(((((triple10) -> rule2)) -> rule1))]
("tiger" "visits" "dog" "-")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The tiger visits the dog.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule1))]
("tiger" "visits" "dog" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The mouse likes the mouse.
Unknown
rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "mouse" "+")
The dog does not visit the bald eagle.
Unknown
inv-rconc
[@1: The dog visits the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "visits" "bald eagle" "-")
The dog sees the bald eagle.
Unknown
random
[@0: The dog sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bald eagle" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The mouse sees the tiger.
Unknown
random
[@0: The mouse sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "tiger" "+")
@0: The bald eagle does not see the tiger.[(triple2)] The bald eagle likes the dog.[(triple1)] The bald eagle visits the tiger.[(triple3)] The dog is nice.[(triple4)] The dog likes the bald eagle.[(triple5 OR ((triple4) -> rule2))] The mouse is kind.[(triple6)] The mouse is young.[(triple7)] The mouse likes the tiger.[(triple8)] The mouse visits the bald eagle.[(triple9)] The tiger is nice.[(triple10)] @1: The bald eagle visits the mouse.[(((triple1) -> rule4))] The dog does not visit the dog.[(((triple5) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] The tiger likes the bald eagle.[(((triple10) -> rule2))] @2: The tiger does not visit the dog.[(((((triple10) -> rule2)) -> rule1))]
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
((triple4) -> (rule2 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((triple1) -> (rule4 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The dog does not visit the dog.
("dog" "visits" "dog" "-")
((triple5) -> (rule1 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The dog does not visit the dog.
("dog" "visits" "dog" "-")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int2