The bald eagle is not nice. The bald eagle is round. The bald eagle needs the mouse. The bald eagle needs the tiger. The cat is blue. The cat is red. The mouse does not chase the cat. The mouse is cold. The mouse likes the bald eagle. The mouse needs the cat. The tiger chases the cat. The tiger is not cold. The tiger is not nice. The tiger is not round. The tiger does not like the bald eagle. The tiger likes the cat. If someone is cold and they need the tiger then the tiger needs the bald eagle. If someone chases the bald eagle and they like the cat then the bald eagle chases the tiger. If someone is cold and blue then they do not chase the mouse. If someone is blue then they chase the mouse. If someone chases the mouse then the mouse needs the tiger. If someone likes the bald eagle and the bald eagle is nice then they like the tiger. If someone chases the bald eagle and they do not like the mouse then the bald eagle needs the mouse. If someone is nice then they chase the tiger.
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If someone is cold and they need the tiger then the tiger needs the bald eagle.
((("someone" "is" "cold" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If someone chases the bald eagle and they like the cat then the bald eagle chases the tiger.
((("someone" "chases" "bald eagle" "+") ("someone" "likes" "cat" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If someone is cold and blue then they do not chase the mouse.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "mouse" "-"))
If someone is blue then they chase the mouse.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "mouse" "+"))
If someone chases the mouse then the mouse needs the tiger.
((("someone" "chases" "mouse" "+")) -> ("mouse" "needs" "tiger" "+"))
If someone likes the bald eagle and the bald eagle is nice then they like the tiger.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("someone" "likes" "tiger" "+"))
If someone chases the bald eagle and they do not like the mouse then the bald eagle needs the mouse.
((("someone" "chases" "bald eagle" "+") ("someone" "likes" "mouse" "~")) -> ("bald eagle" "needs" "mouse" "+"))
If someone is nice then they chase the tiger.
((("someone" "is" "nice" "+")) -> ("someone" "chases" "tiger" "+"))
The mouse needs the cat.
True
1
proof
[(triple10)]
("mouse" "needs" "cat" "+")
triple10
The mouse chases the cat.
False
1
inv-proof
[(triple7)]
("mouse" "chases" "cat" "+")
triple7
The cat chases the mouse.
True
2
proof
[(((triple5) -> rule4))]
("cat" "chases" "mouse" "+")
((triple5) -> (rule4 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat does not chase the mouse.
False
2
inv-proof
[(((triple5) -> rule4))]
("cat" "chases" "mouse" "-")
((triple5) -> (rule4 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse needs the tiger.
True
3
proof
[(((((triple5) -> rule4)) -> rule5))]
("mouse" "needs" "tiger" "+")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The mouse does not need the tiger.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule5))]
("mouse" "needs" "tiger" "-")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The tiger needs the bald eagle.
True
5
proof
[(((triple8 ((((triple5) -> rule4)) -> rule5)) -> rule1))]
("tiger" "needs" "bald eagle" "+")
((triple8 ((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The tiger does not need the bald eagle.
False
5
inv-proof
[(((triple8 ((((triple5) -> rule4)) -> rule5)) -> rule1))]
("tiger" "needs" "bald eagle" "-")
((triple8 ((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The mouse does not like the tiger.
Unknown
inv-rconc
[@1: The mouse likes the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "likes" "tiger" "-")
The tiger chases the mouse.
Unknown
rconc
[@1: The tiger chases the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "chases" "mouse" "+")
The bald eagle does not like the tiger.
Unknown
inv-rconc
[@1: The bald eagle likes the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "tiger" "-")
The mouse chases the mouse.
Unknown
rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "chases" "mouse" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cat does not need the bald eagle.
Unknown
inv-random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "-")
The bald eagle likes the cat.
Unknown
random
[@0: The bald eagle likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cat" "+")
@0: The bald eagle is not nice.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle needs the tiger.[(triple4)] The cat is blue.[(triple5)] The cat is red.[(triple6)] The mouse does not chase the cat.[(triple7)] The mouse is cold.[(triple8)] The mouse likes the bald eagle.[(triple9)] The mouse needs the cat.[(triple10)] The tiger chases the cat.[(triple11)] The tiger does not like the bald eagle.[(triple15)] The tiger is not cold.[(triple12)] The tiger is not nice.[(triple13)] The tiger is not round.[(triple14)] The tiger likes the cat.[(triple16)] @1: The cat chases the mouse.[(((triple5) -> rule4))] @2: The mouse needs the tiger.[(((((triple5) -> rule4)) -> rule5))] @3: The tiger needs the bald eagle.[(((triple8 ((((triple5) -> rule4)) -> rule5)) -> rule1))]
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple3
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple7
The mouse is cold.
("mouse" "is" "cold" "+")
triple8
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple9
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple10
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple11
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple15
The tiger is not cold.
("tiger" "is" "cold" "-")
triple12
The tiger is not nice.
("tiger" "is" "nice" "-")
triple13
The tiger is not round.
("tiger" "is" "round" "-")
triple14
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple16
The cat chases the mouse.
("cat" "chases" "mouse" "+")
((triple5) -> (rule4 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((triple8 ((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3