The bald eagle chases the cat. The bald eagle likes the cat. The cat is not nice. The cat is not red. The cat likes the mouse. The cat needs the bald eagle. The mouse needs the bald eagle. The mouse needs the cat. The tiger does not chase the cat. The tiger does not chase the mouse. The tiger is not kind. The tiger is rough. If someone needs the bald eagle then the bald eagle needs the mouse. If someone needs the tiger and the tiger is nice then they are not red. If the cat needs the mouse and the cat chases the tiger then the mouse does not chase the bald eagle. If someone needs the cat and the cat needs the tiger then the cat is red. Red people are big. If someone is big and not rough then they are kind.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat is not red.
("cat" "is" "red" "-")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
If someone needs the bald eagle then the bald eagle needs the mouse.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "mouse" "+"))
If someone needs the tiger and the tiger is nice then they are not red.
((("someone" "needs" "tiger" "+") ("tiger" "is" "nice" "+")) -> ("someone" "is" "red" "-"))
If the cat needs the mouse and the cat chases the tiger then the mouse does not chase the bald eagle.
((("cat" "needs" "mouse" "+") ("cat" "chases" "tiger" "+")) -> ("mouse" "chases" "bald eagle" "-"))
If someone needs the cat and the cat needs the tiger then the cat is red.
((("someone" "needs" "cat" "+") ("cat" "needs" "tiger" "+")) -> ("cat" "is" "red" "+"))
Red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is big and not rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "kind" "+"))
The mouse needs the cat.
True
1
proof
[(triple8)]
("mouse" "needs" "cat" "+")
triple8
The cat does not need the bald eagle.
False
1
inv-proof
[(triple6)]
("cat" "needs" "bald eagle" "-")
triple6
The bald eagle needs the mouse.
True
2
proof
[(((triple6) -> rule1) OR ((triple7) -> rule1))]
("bald eagle" "needs" "mouse" "+")
((triple6) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((triple7) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle does not need the mouse.
False
2
inv-proof
[(((triple6) -> rule1) OR ((triple7) -> rule1))]
("bald eagle" "needs" "mouse" "-")
((triple6) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((triple7) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "is" "big" "-")
The mouse is big.
Unknown
rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "is" "big" "+")
The bald eagle does not chase the tiger.
Unknown
inv-random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "-")
The cat needs the mouse.
Unknown
random
[@0: The cat needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "mouse" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat is not nice.[(triple3)] The cat is not red.[(triple4)] The cat likes the mouse.[(triple5)] The cat needs the bald eagle.[(triple6)] The mouse needs the bald eagle.[(triple7)] The mouse needs the cat.[(triple8)] The tiger does not chase the cat.[(triple9)] The tiger does not chase the mouse.[(triple10)] The tiger is not kind.[(triple11)] The tiger is rough.[(triple12)] @1: The bald eagle needs the mouse.[(((triple6) -> rule1) OR ((triple7) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The cat is not nice.
("cat" "is" "nice" "-")
triple3
The cat is not red.
("cat" "is" "red" "-")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple6
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple7
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple8
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
triple9
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
triple10
The tiger is not kind.
("tiger" "is" "kind" "-")
triple11
The tiger is rough.
("tiger" "is" "rough" "+")
triple12
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((triple6) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
((triple7) -> (rule1 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1