The bald eagle visits the tiger. The dog is not red. The tiger is rough. If the dog chases the bald eagle and the dog visits the bald eagle then the dog is not red. If something is rough then it eats the bald eagle. If something is red and it visits the tiger then it does not chase the bald eagle. If something eats the tiger then it chases the tiger. If something visits the tiger and it is red then it does not chase the tiger. If something is cold then it chases the tiger. If something chases the tiger and it eats the bald eagle then the tiger chases the dog. If something is rough then it is cold.
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The dog is not red.
("dog" "is" "red" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
If the dog chases the bald eagle and the dog visits the bald eagle then the dog is not red.
((("dog" "chases" "bald eagle" "+") ("dog" "visits" "bald eagle" "+")) -> ("dog" "is" "red" "-"))
If something is rough then it eats the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is red and it visits the tiger then it does not chase the bald eagle.
((("something" "is" "red" "+") ("something" "visits" "tiger" "+")) -> ("something" "chases" "bald eagle" "-"))
If something eats the tiger then it chases the tiger.
((("something" "eats" "tiger" "+")) -> ("something" "chases" "tiger" "+"))
If something visits the tiger and it is red then it does not chase the tiger.
((("something" "visits" "tiger" "+") ("something" "is" "red" "+")) -> ("something" "chases" "tiger" "-"))
If something is cold then it chases the tiger.
((("something" "is" "cold" "+")) -> ("something" "chases" "tiger" "+"))
If something chases the tiger and it eats the bald eagle then the tiger chases the dog.
((("something" "chases" "tiger" "+") ("something" "eats" "bald eagle" "+")) -> ("tiger" "chases" "dog" "+"))
If something is rough then it is cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
The bald eagle visits the tiger.
True
1
proof
[(triple1)]
("bald eagle" "visits" "tiger" "+")
triple1
The dog is red.
False
1
inv-proof
[(triple2)]
("dog" "is" "red" "+")
triple2
The tiger eats the bald eagle.
True
2
proof
[(((triple3) -> rule2))]
("tiger" "eats" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger does not eat the bald eagle.
False
2
inv-proof
[(((triple3) -> rule2))]
("tiger" "eats" "bald eagle" "-")
((triple3) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger chases the tiger.
True
3
proof
[(((((triple3) -> rule8)) -> rule6))]
("tiger" "chases" "tiger" "+")
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger does not chase the tiger.
False
3
inv-proof
[(((((triple3) -> rule8)) -> rule6))]
("tiger" "chases" "tiger" "-")
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger chases the dog.
True
6
proof
[(((((((triple3) -> rule8)) -> rule6) ((triple3) -> rule2)) -> rule7))]
("tiger" "chases" "dog" "+")
((((((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple3) -> (rule2 % int2))) -> (rule7 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is cold.
("tiger" "is" "cold" "+")
int4
The tiger does not chase the dog.
False
6
inv-proof
[(((((((triple3) -> rule8)) -> rule6) ((triple3) -> rule2)) -> rule7))]
("tiger" "chases" "dog" "-")
((((((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple3) -> (rule2 % int2))) -> (rule7 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is cold.
("tiger" "is" "cold" "+")
int4
The dog does not chase the tiger.
Unknown
inv-rconc
[@2: The dog chases the tiger.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("dog" "chases" "tiger" "-")
The bald eagle chases the tiger.
Unknown
rconc
[@2: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("bald eagle" "chases" "tiger" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The dog is cold.
Unknown
rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "cold" "+")
The tiger does not chase the bald eagle.
Unknown
inv-random
[@0: The tiger chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle does not eat the dog.
Unknown
inv-random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
@0: The bald eagle visits the tiger.[(triple1)] The dog is not red.[(triple2)] The tiger is rough.[(triple3)] @1: The tiger eats the bald eagle.[(((triple3) -> rule2))] The tiger is cold.[(((triple3) -> rule8))] @2: The tiger chases the tiger.[(((((triple3) -> rule8)) -> rule6))] @3: The tiger chases the dog.[(((((((triple3) -> rule8)) -> rule6) ((triple3) -> rule2)) -> rule7))]
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple1
The dog is not red.
("dog" "is" "red" "-")
triple2
The tiger is rough.
("tiger" "is" "rough" "+")
triple3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple3) -> (rule8 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
int2
The tiger chases the dog.
("tiger" "chases" "dog" "+")
((((((triple3) -> (rule8 % int4))) -> (rule6 % int3)) ((triple3) -> (rule2 % int2))) -> (rule7 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger is cold.
("tiger" "is" "cold" "+")
int4