The bald eagle chases the cat. The bald eagle chases the tiger. The bald eagle does not visit the tiger. The cat is green. The cat is not young. The cat does not like the tiger. The cat visits the bald eagle. The mouse does not chase the cat. The tiger is young. The tiger likes the mouse. The tiger does not visit the cat. If someone is cold and green then they chase the mouse. If someone is round then they chase the mouse. If someone is young and they visit the bald eagle then the bald eagle is not green. If someone chases the mouse then the mouse is young. If someone likes the mouse then they are round. If someone is cold then they like the tiger. If someone chases the mouse and the mouse is young then the mouse is round. If someone likes the cat then the cat visits the mouse.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
The cat is green.
("cat" "is" "green" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger does not visit the cat.
("tiger" "visits" "cat" "-")
If someone is cold and green then they chase the mouse.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is round then they chase the mouse.
((("someone" "is" "round" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is young and they visit the bald eagle then the bald eagle is not green.
((("someone" "is" "young" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "green" "-"))
If someone chases the mouse then the mouse is young.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "young" "+"))
If someone likes the mouse then they are round.
((("someone" "likes" "mouse" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they like the tiger.
((("someone" "is" "cold" "+")) -> ("someone" "likes" "tiger" "+"))
If someone chases the mouse and the mouse is young then the mouse is round.
((("someone" "chases" "mouse" "+") ("mouse" "is" "young" "+")) -> ("mouse" "is" "round" "+"))
If someone likes the cat then the cat visits the mouse.
((("someone" "likes" "cat" "+")) -> ("cat" "visits" "mouse" "+"))
The cat does not like the tiger.
True
1
proof
[(triple6)]
("cat" "likes" "tiger" "-")
triple6
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "chases" "tiger" "-")
triple2
The tiger is round.
True
2
proof
[(((triple10) -> rule5))]
("tiger" "is" "round" "+")
((triple10) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is not round.
False
2
inv-proof
[(((triple10) -> rule5))]
("tiger" "is" "round" "-")
((triple10) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger chases the mouse.
True
3
proof
[(((((triple10) -> rule5)) -> rule2))]
("tiger" "chases" "mouse" "+")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger does not chase the mouse.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule2))]
("tiger" "chases" "mouse" "-")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The mouse is young.
True
4
proof
[(((((((triple10) -> rule5)) -> rule2)) -> rule4))]
("mouse" "is" "young" "+")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The mouse is not young.
False
4
inv-proof
[(((((((triple10) -> rule5)) -> rule2)) -> rule4))]
("mouse" "is" "young" "-")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The mouse is round.
True
8
proof
[(((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule7))]
("mouse" "is" "round" "+")
((((((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The mouse is not round.
False
8
inv-proof
[(((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule7))]
("mouse" "is" "round" "-")
((((((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The mouse chases the mouse.
True
9
proof
[(((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule7)) -> rule2))]
("mouse" "chases" "mouse" "+")
((((((((triple10) -> (rule5 % int5))) -> (rule2 % int4)) ((((((triple10) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The mouse does not chase the mouse.
False
9
inv-proof
[(((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule7)) -> rule2))]
("mouse" "chases" "mouse" "-")
((((((((triple10) -> (rule5 % int5))) -> (rule2 % int4)) ((((((triple10) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5
The bald eagle does not chase the mouse.
Unknown
inv-rconc
[@2: The bald eagle chases the mouse.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("bald eagle" "chases" "mouse" "-")
The mouse likes the tiger.
Unknown
rconc
[@1: The mouse likes the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "likes" "tiger" "+")
The cat does not chase the mouse.
Unknown
inv-rconc
[@2: The cat chases the mouse.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("cat" "chases" "mouse" "-")
The tiger likes the tiger.
Unknown
rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "likes" "tiger" "+")
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "round" "-")
The cat is round.
Unknown
rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "round" "+")
The tiger does not like the cat.
Unknown
inv-random
[@0: The tiger likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "cat" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
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" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
The bald eagle visits the mouse.
Unknown
random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle does not visit the tiger.[(triple3)] The cat does not like the tiger.[(triple6)] The cat is green.[(triple4)] The cat is not young.[(triple5)] The cat visits the bald eagle.[(triple7)] The mouse does not chase the cat.[(triple8)] The tiger does not visit the cat.[(triple11)] The tiger is young.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The tiger is round.[(((triple10) -> rule5))] @2: The tiger chases the mouse.[(((((triple10) -> rule5)) -> rule2))] @3: The mouse is young.[(((((((triple10) -> rule5)) -> rule2)) -> rule4))] @4: The mouse is round.[(((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule7))] @5: The mouse chases the mouse.[(((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule4)) -> rule7)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle does not visit the tiger.
("bald eagle" "visits" "tiger" "-")
triple3
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
triple6
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is not young.
("cat" "is" "young" "-")
triple5
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple7
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple8
The tiger does not visit the cat.
("tiger" "visits" "cat" "-")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple9
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
((triple10) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
((((triple10) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
((((((triple10) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The mouse is round.
("mouse" "is" "round" "+")
((((((triple10) -> (rule5 % int4))) -> (rule2 % int3)) ((((((triple10) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
int4
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((((((triple10) -> (rule5 % int5))) -> (rule2 % int4)) ((((((triple10) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is young.
("mouse" "is" "young" "+")
int3
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int4
The tiger is round.
("tiger" "is" "round" "+")
int5