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