The bald eagle is blue. The bald eagle likes the dog. The dog does not eat the bald eagle. The dog needs the lion. The lion is cold. The lion is rough. The lion is round. The lion needs the mouse. The mouse eats the dog. The mouse is blue. The mouse is not cold. The mouse likes the bald eagle. The mouse likes the dog. The mouse needs the dog. The mouse needs the lion. If something needs the mouse then the mouse likes the dog. If something needs the dog and the dog does not like the bald eagle then the dog does not like the mouse. If something is rough then it is round. If something is kind and it eats the dog then the dog eats the lion. If something likes the bald eagle then the bald eagle is rough. If the dog eats the bald eagle and the dog does not need the bald eagle then the bald eagle does not eat the dog.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
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 needs the lion.
("mouse" "needs" "lion" "+")
If something needs the mouse then the mouse likes the dog.
((("something" "needs" "mouse" "+")) -> ("mouse" "likes" "dog" "+"))
If something needs the dog and the dog does not like the bald eagle then the dog does not like the mouse.
((("something" "needs" "dog" "+") ("dog" "likes" "bald eagle" "~")) -> ("dog" "likes" "mouse" "-"))
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something is kind and it eats the dog then the dog eats the lion.
((("something" "is" "kind" "+") ("something" "eats" "dog" "+")) -> ("dog" "eats" "lion" "+"))
If something likes the bald eagle then the bald eagle is rough.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the dog eats the bald eagle and the dog does not need the bald eagle then the bald eagle does not eat the dog.
((("dog" "eats" "bald eagle" "+") ("dog" "needs" "bald eagle" "~")) -> ("bald eagle" "eats" "dog" "-"))
The lion needs the mouse.
True
1
proof
[(triple8)]
("lion" "needs" "mouse" "+")
triple8
The lion does not need the mouse.
False
1
inv-proof
[(triple8)]
("lion" "needs" "mouse" "-")
triple8
The bald eagle is rough.
True
2
proof
[(((triple12) -> rule5))]
("bald eagle" "is" "rough" "+")
((triple12) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple12) -> rule5))]
("bald eagle" "is" "rough" "-")
((triple12) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
True
3
proof
[(((((triple12) -> rule5)) -> rule3))]
("bald eagle" "is" "round" "+")
((((triple12) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is not round.
False
3
inv-proof
[(((((triple12) -> rule5)) -> rule3))]
("bald eagle" "is" "round" "-")
((((triple12) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "round" "-")
The dog is round.
Unknown
rconc
[@1: The dog is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "round" "+")
The dog does not eat the lion.
Unknown
inv-rconc
[@1: The dog eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "lion" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The mouse does not eat the bald eagle.
Unknown
inv-random
[@0: The mouse eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bald eagle" "-")
The mouse eats the lion.
Unknown
random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the dog.[(triple2)] The dog does not eat the bald eagle.[(triple3)] The dog needs the lion.[(triple4)] The lion is cold.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7 OR ((triple6) -> rule3))] The lion needs the mouse.[(triple8)] The mouse eats the dog.[(triple9)] The mouse is blue.[(triple10)] The mouse is not cold.[(triple11)] The mouse likes the bald eagle.[(triple12)] The mouse likes the dog.[(triple13 OR ((triple8) -> rule1))] The mouse needs the dog.[(triple14)] The mouse needs the lion.[(triple15)] @1: The bald eagle is rough.[(((triple12) -> rule5))] @2: The bald eagle is round.[(((((triple12) -> rule5)) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The dog does not eat the bald eagle.
("dog" "eats" "bald eagle" "-")
triple3
The dog needs the lion.
("dog" "needs" "lion" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
((triple6) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple8
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is not cold.
("mouse" "is" "cold" "-")
triple11
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple12
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple13
((triple8) -> (rule1 % int1))
The mouse likes the dog.
("mouse" "likes" "dog" "+")
int1
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple14
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple15
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple12) -> (rule5 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((triple12) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2