The bald eagle is blue. The bald eagle is cold. The bald eagle needs the tiger. The dog is nice. The mouse needs the dog. The mouse sees the tiger. The tiger is green. The tiger is nice. The tiger likes the dog. The tiger sees the dog. If something is round and it needs the tiger then it likes the bald eagle. If something sees the dog and it is blue then the dog sees the bald eagle. If something likes the tiger then it is cold. If something is nice and it needs the mouse then the mouse needs the bald eagle. If something is nice and it likes the mouse then it needs the bald eagle. If something likes the mouse then it needs the dog.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The dog is nice.
("dog" "is" "nice" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If something is round and it needs the tiger then it likes the bald eagle.
((("something" "is" "round" "+") ("something" "needs" "tiger" "+")) -> ("something" "likes" "bald eagle" "+"))
If something sees the dog and it is blue then the dog sees the bald eagle.
((("something" "sees" "dog" "+") ("something" "is" "blue" "+")) -> ("dog" "sees" "bald eagle" "+"))
If something likes the tiger then it is cold.
((("something" "likes" "tiger" "+")) -> ("something" "is" "cold" "+"))
If something is nice and it needs the mouse then the mouse needs the bald eagle.
((("something" "is" "nice" "+") ("something" "needs" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
If something is nice and it likes the mouse then it needs the bald eagle.
((("something" "is" "nice" "+") ("something" "likes" "mouse" "+")) -> ("something" "needs" "bald eagle" "+"))
If something likes the mouse then it needs the dog.
((("something" "likes" "mouse" "+")) -> ("something" "needs" "dog" "+"))
The tiger is green.
True
1
proof
[(triple7)]
("tiger" "is" "green" "+")
triple7
The bald eagle does not need the tiger.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "tiger" "-")
triple3
The tiger does not need the dog.
Unknown
inv-rconc
[@1: The tiger needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "needs" "dog" "-")
The bald eagle sees the mouse.
Unknown
random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the tiger.[(triple3)] The dog is nice.[(triple4)] The mouse needs the dog.[(triple5)] The mouse sees the tiger.[(triple6)] The tiger is green.[(triple7)] The tiger is nice.[(triple8)] The tiger likes the dog.[(triple9)] The tiger sees the dog.[(triple10)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple5
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple6
The tiger is green.
("tiger" "is" "green" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple9
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple10