The bald eagle does not eat the dog. The bald eagle eats the mouse. The bald eagle does not eat the tiger. The bald eagle is rough. The bald eagle sees the mouse. The dog is green. The mouse chases the dog. The mouse eats the bald eagle. The mouse eats the dog. The mouse eats the tiger. The mouse is cold. The tiger chases the bald eagle. The tiger chases the mouse. The tiger eats the mouse. The tiger sees the bald eagle. The tiger sees the mouse. If someone sees the dog then they are blue. If someone chases the bald eagle then they see the mouse. If someone chases the tiger then they see the dog. If someone sees the mouse then they are green. If someone sees the dog then the dog chases the tiger. If someone is rough then they chase the tiger. If the bald eagle does not chase the dog then the bald eagle eats the mouse. If someone chases the tiger then the tiger eats the bald eagle. If someone is green and they chase the bald eagle then the bald eagle is big.
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
If someone sees the dog then they are blue.
((("someone" "sees" "dog" "+")) -> ("someone" "is" "blue" "+"))
If someone chases the bald eagle then they see the mouse.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "sees" "mouse" "+"))
If someone chases the tiger then they see the dog.
((("someone" "chases" "tiger" "+")) -> ("someone" "sees" "dog" "+"))
If someone sees the mouse then they are green.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "green" "+"))
If someone sees the dog then the dog chases the tiger.
((("someone" "sees" "dog" "+")) -> ("dog" "chases" "tiger" "+"))
If someone is rough then they chase the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "tiger" "+"))
If the bald eagle does not chase the dog then the bald eagle eats the mouse.
((("bald eagle" "chases" "dog" "~")) -> ("bald eagle" "eats" "mouse" "+"))
If someone chases the tiger then the tiger eats the bald eagle.
((("someone" "chases" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If someone is green and they chase the bald eagle then the bald eagle is big.
((("someone" "is" "green" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
The bald eagle does not eat the tiger.
True
1
proof
[(triple3)]
("bald eagle" "eats" "tiger" "-")
triple3
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "mouse" "-")
triple2
The bald eagle chases the tiger.
True
2
proof
[(((triple4) -> rule6))]
("bald eagle" "chases" "tiger" "+")
((triple4) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle does not chase the tiger.
False
2
inv-proof
[(((triple4) -> rule6))]
("bald eagle" "chases" "tiger" "-")
((triple4) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is big.
True
4
proof
[(((((triple16) -> rule4) triple12) -> rule9) OR ((((((triple12) -> rule2)) -> rule4) triple12) -> rule9))]
("bald eagle" "is" "big" "+")
((((triple16) -> (rule4 % int2)) triple12) -> (rule9 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule4 % int2)) triple12) -> (rule9 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The bald eagle does not see the dog.
False
3
inv-proof
[(((((triple4) -> rule6)) -> rule3))]
("bald eagle" "sees" "dog" "-")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The dog chases the tiger.
True
4
proof
[(((((((triple4) -> rule6)) -> rule3)) -> rule5))]
("dog" "chases" "tiger" "+")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The bald eagle is not blue.
False
4
inv-proof
[(((((((triple4) -> rule6)) -> rule3)) -> rule1))]
("bald eagle" "is" "blue" "-")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The dog sees the dog.
True
5
proof
[(((((((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule3))]
("dog" "sees" "dog" "+")
((((((((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int4
The dog does not see the dog.
False
5
inv-proof
[(((((((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule3))]
("dog" "sees" "dog" "-")
((((((((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int4
The dog is blue.
True
6
proof
[(((((((((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule3)) -> rule1))]
("dog" "is" "blue" "+")
((((((((((triple4) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int4
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int5
The dog is not blue.
False
6
inv-proof
[(((((((((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule3)) -> rule1))]
("dog" "is" "blue" "-")
((((((((((triple4) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int4
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int5
The mouse does not see the dog.
Unknown
inv-rconc
[@2: The mouse sees the dog.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("mouse" "sees" "dog" "-")
The tiger chases the tiger.
Unknown
rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "chases" "tiger" "+")
The mouse does not chase the tiger.
Unknown
inv-rconc
[@1: The mouse chases the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "chases" "tiger" "-")
The tiger sees the dog.
Unknown
rconc
[@2: The tiger sees the dog.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("tiger" "sees" "dog" "+")
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The dog sees the mouse.
Unknown
rconc
[@1: The dog sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "mouse" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The dog sees the tiger.
Unknown
random
[@0: The dog sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "tiger" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The mouse sees the tiger.
Unknown
random
[@0: The mouse sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "tiger" "+")
@0: The bald eagle does not eat the dog.[(triple1)] The bald eagle does not eat the tiger.[(triple3)] The bald eagle eats the mouse.[(triple2)] The bald eagle is rough.[(triple4)] The bald eagle sees the mouse.[(triple5)] The dog is green.[(triple6)] The mouse chases the dog.[(triple7)] The mouse eats the bald eagle.[(triple8)] The mouse eats the dog.[(triple9)] The mouse eats the tiger.[(triple10)] The mouse is cold.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger sees the mouse.[(triple16 OR ((triple12) -> rule2))] @1: The bald eagle chases the tiger.[(((triple4) -> rule6))] The bald eagle is green.[(((triple5) -> rule4))] The tiger is green.[(((triple16) -> rule4) OR ((((triple12) -> rule2)) -> rule4))] @2: The bald eagle is big.[(((((triple16) -> rule4) triple12) -> rule9) OR ((((((triple12) -> rule2)) -> rule4) triple12) -> rule9))] The bald eagle sees the dog.[(((((triple4) -> rule6)) -> rule3))] The tiger eats the bald eagle.[(((((triple4) -> rule6)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule8))] @3: The bald eagle is blue.[(((((((triple4) -> rule6)) -> rule3)) -> rule1))] The dog chases the tiger.[(((((((triple4) -> rule6)) -> rule3)) -> rule5))] @4: The dog sees the dog.[(((((((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule3))] @5: The dog is blue.[(((((((((((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule3)) -> rule1))]
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
triple1
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple3
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple8
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple9
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple12
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple13
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
triple16
((triple12) -> (rule2 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((triple4) -> (rule6 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple5) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((triple16) -> (rule4 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple16) -> (rule4 % int2)) triple12) -> (rule9 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((((((triple12) -> (rule2 % int3))) -> (rule4 % int2)) triple12) -> (rule9 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
((((((((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int4
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The dog chases the tiger.
("dog" "chases" "tiger" "+")
((((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int2
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int3
The dog sees the dog.
("dog" "sees" "dog" "+")
((((((((triple4) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int3
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int4
The dog is blue.
("dog" "is" "blue" "+")
((((((((((triple4) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int4
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int5