The bald eagle does not chase the dog. The bald eagle is green. The bald eagle visits the cow. The cow visits the dog. The dog chases the cow. The dog is not red. The tiger eats the bald eagle. The tiger does not eat the cow. The tiger is blue. The tiger is cold. The tiger is red. The tiger is not round. If the tiger is round then the tiger visits the dog. If something chases the dog then it chases the bald eagle. If something visits the tiger and the tiger eats the dog then it chases the bald eagle. If the bald eagle is green then the bald eagle is cold. If something eats the tiger then it chases the dog. If something visits the dog then the dog visits the bald eagle. If something chases the bald eagle and it chases the dog then the dog is not cold. If something is blue then it eats the tiger.
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is not red.
("dog" "is" "red" "-")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is not round.
("tiger" "is" "round" "-")
If the tiger is round then the tiger visits the dog.
((("tiger" "is" "round" "+")) -> ("tiger" "visits" "dog" "+"))
If something chases the dog then it chases the bald eagle.
((("something" "chases" "dog" "+")) -> ("something" "chases" "bald eagle" "+"))
If something visits the tiger and the tiger eats the dog then it chases the bald eagle.
((("something" "visits" "tiger" "+") ("tiger" "eats" "dog" "+")) -> ("something" "chases" "bald eagle" "+"))
If the bald eagle is green then the bald eagle is cold.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "is" "cold" "+"))
If something eats the tiger then it chases the dog.
((("something" "eats" "tiger" "+")) -> ("something" "chases" "dog" "+"))
If something visits the dog then the dog visits the bald eagle.
((("something" "visits" "dog" "+")) -> ("dog" "visits" "bald eagle" "+"))
If something chases the bald eagle and it chases the dog then the dog is not cold.
((("something" "chases" "bald eagle" "+") ("something" "chases" "dog" "+")) -> ("dog" "is" "cold" "-"))
If something is blue then it eats the tiger.
((("something" "is" "blue" "+")) -> ("something" "eats" "tiger" "+"))
The tiger is cold.
True
1
proof
[(triple10)]
("tiger" "is" "cold" "+")
triple10
The tiger eats the cow.
False
1
inv-proof
[(triple8)]
("tiger" "eats" "cow" "+")
triple8
The dog visits the bald eagle.
True
2
proof
[(((triple4) -> rule6))]
("dog" "visits" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is not cold.
False
2
inv-proof
[(((triple2) -> rule4))]
("bald eagle" "is" "cold" "-")
((triple2) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The tiger chases the dog.
True
3
proof
[(((((triple9) -> rule8)) -> rule5))]
("tiger" "chases" "dog" "+")
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger does not chase the dog.
False
3
inv-proof
[(((((triple9) -> rule8)) -> rule5))]
("tiger" "chases" "dog" "-")
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bald eagle.
True
4
proof
[(((((((triple9) -> rule8)) -> rule5)) -> rule2))]
("tiger" "chases" "bald eagle" "+")
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger does not chase the bald eagle.
False
4
inv-proof
[(((((((triple9) -> rule8)) -> rule5)) -> rule2))]
("tiger" "chases" "bald eagle" "-")
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The cow does not chase the bald eagle.
Unknown
inv-rconc
[@3: The cow chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule8 <- FAIL)]]
("cow" "chases" "bald eagle" "-")
The dog chases the dog.
Unknown
rconc
[@2: The dog chases the dog.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("dog" "chases" "dog" "+")
The dog does not eat the tiger.
Unknown
inv-rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "eats" "tiger" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The cow does not eat the bald eagle.
Unknown
inv-random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle does not chase the dog.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow visits the dog.[(triple4)] The dog chases the cow.[(triple5)] The dog is not red.[(triple6)] The tiger does not eat the cow.[(triple8)] The tiger eats the bald eagle.[(triple7)] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger is not round.[(triple12)] The tiger is red.[(triple11)] @1: The bald eagle is cold.[(((triple2) -> rule4))] The dog visits the bald eagle.[(((triple4) -> rule6))] The tiger eats the tiger.[(((triple9) -> rule8))] @2: The tiger chases the dog.[(((((triple9) -> rule8)) -> rule5))] @3: The tiger chases the bald eagle.[(((((((triple9) -> rule8)) -> rule5)) -> rule2))] @4: The dog is not cold.[(((((((((triple9) -> rule8)) -> rule5)) -> rule2) ((((triple9) -> rule8)) -> rule5)) -> rule7))]
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The cow visits the dog.
("cow" "visits" "dog" "+")
triple4
The dog chases the cow.
("dog" "chases" "cow" "+")
triple5
The dog is not red.
("dog" "is" "red" "-")
triple6
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
triple8
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is not round.
("tiger" "is" "round" "-")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple11
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple2) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple4) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple9) -> (rule8 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The dog is not cold.
("dog" "is" "cold" "-")
((((((((triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) ((((triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int2
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4