The bald eagle is blue. The cat likes the tiger. The mouse is red. The mouse needs the bald eagle. The mouse visits the cat. The tiger is big. The tiger is cold. The tiger does not like the bald eagle. The tiger does not like the cat. The tiger does not visit the bald eagle. If someone visits the cat and they do not need the tiger then the tiger likes the mouse. Round people are red. If someone visits the cat then the cat is round. If someone likes the cat then they are round. If someone is blue then they visit the cat. If someone likes the mouse and they like the bald eagle then they are cold.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
If someone visits the cat and they do not need the tiger then the tiger likes the mouse.
((("someone" "visits" "cat" "+") ("someone" "needs" "tiger" "~")) -> ("tiger" "likes" "mouse" "+"))
Round people are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone visits the cat then the cat is round.
((("someone" "visits" "cat" "+")) -> ("cat" "is" "round" "+"))
If someone likes the cat then they are round.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they visit the cat.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "cat" "+"))
If someone likes the mouse and they like the bald eagle then they are cold.
((("someone" "likes" "mouse" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The tiger likes the cat.
False
1
inv-proof
[(triple9)]
("tiger" "likes" "cat" "+")
triple9
The bald eagle visits the cat.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "visits" "cat" "+")
((triple1) -> (rule5 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The bald eagle does not visit the cat.
False
2
inv-proof
[(((triple1) -> rule5))]
("bald eagle" "visits" "cat" "-")
((triple1) -> (rule5 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The cat is red.
True
3
proof
[(((((triple5) -> rule3)) -> rule2) OR ((((((triple1) -> rule5)) -> rule3)) -> rule2))]
("cat" "is" "red" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The cat is not red.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule2) OR ((((((triple1) -> rule5)) -> rule3)) -> rule2))]
("cat" "is" "red" "-")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The tiger is not round.
Unknown
inv-rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "round" "-")
The cat is cold.
Unknown
rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "cold" "+")
The tiger does not visit the cat.
Unknown
inv-rconc
[@1: The tiger visits the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "visits" "cat" "-")
The bald eagle likes the tiger.
Unknown
random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "+")
The cat does not visit the mouse.
Unknown
inv-random
[@0: The cat visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "mouse" "-")
The mouse needs the tiger.
Unknown
random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "+")
@0: The bald eagle is blue.[(triple1)] The cat likes the tiger.[(triple2)] The mouse is red.[(triple3)] The mouse needs the bald eagle.[(triple4)] The mouse visits the cat.[(triple5)] The tiger does not like the bald eagle.[(triple8)] The tiger does not like the cat.[(triple9)] The tiger does not visit the bald eagle.[(triple10)] The tiger is big.[(triple6)] The tiger is cold.[(triple7)] @1: The bald eagle visits the cat.[(((triple1) -> rule5))] The cat is round.[(((triple5) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] @2: The cat is red.[(((((triple5) -> rule3)) -> rule2) OR ((((((triple1) -> rule5)) -> rule3)) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple4
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple5
The tiger does not like the bald eagle.
("tiger" "likes" "bald eagle" "-")
triple8
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
triple9
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple6
The tiger is cold.
("tiger" "is" "cold" "+")
triple7
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
((triple1) -> (rule5 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((triple5) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The cat is red.
("cat" "is" "red" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3