The bald eagle does not chase the dog. The bald eagle does not eat the dog. The bald eagle is round. The bald eagle does not visit the dog. The dog is young. The dog visits the tiger. The squirrel chases the dog. The squirrel chases the tiger. The squirrel does not eat the bald eagle. The squirrel eats the dog. The squirrel is green. The squirrel is not round. The tiger chases the bald eagle. The tiger is red. The tiger does not visit the squirrel. If something is blue then it is round. If something visits the tiger then it is blue. If something eats the dog and the dog eats the tiger then it chases the bald eagle. If something visits the tiger and it is red then the tiger is not young. If something visits the tiger and it chases the squirrel then the tiger does not visit the bald eagle. If the tiger eats the bald eagle and the bald eagle eats the tiger then the tiger is not red.
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
The dog is young.
("dog" "is" "young" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not round.
("squirrel" "is" "round" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
If something is blue then it is round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If something visits the tiger then it is blue.
((("something" "visits" "tiger" "+")) -> ("something" "is" "blue" "+"))
If something eats the dog and the dog eats the tiger then it chases the bald eagle.
((("something" "eats" "dog" "+") ("dog" "eats" "tiger" "+")) -> ("something" "chases" "bald eagle" "+"))
If something visits the tiger and it is red then the tiger is not young.
((("something" "visits" "tiger" "+") ("something" "is" "red" "+")) -> ("tiger" "is" "young" "-"))
If something visits the tiger and it chases the squirrel then the tiger does not visit the bald eagle.
((("something" "visits" "tiger" "+") ("something" "chases" "squirrel" "+")) -> ("tiger" "visits" "bald eagle" "-"))
If the tiger eats the bald eagle and the bald eagle eats the tiger then the tiger is not red.
((("tiger" "eats" "bald eagle" "+") ("bald eagle" "eats" "tiger" "+")) -> ("tiger" "is" "red" "-"))
The squirrel chases the tiger.
True
1
proof
[(triple8)]
("squirrel" "chases" "tiger" "+")
triple8
The squirrel does not eat the dog.
False
1
inv-proof
[(triple10)]
("squirrel" "eats" "dog" "-")
triple10
The dog is blue.
True
2
proof
[(((triple6) -> rule2))]
("dog" "is" "blue" "+")
((triple6) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is not blue.
False
2
inv-proof
[(((triple6) -> rule2))]
("dog" "is" "blue" "-")
((triple6) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is round.
True
3
proof
[(((((triple6) -> rule2)) -> rule1))]
("dog" "is" "round" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog is not round.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("dog" "is" "round" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog does not chase the bald eagle.
Unknown
inv-rconc
[@1: The dog chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "bald eagle" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "blue" "+")
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The tiger visits the bald eagle.
Unknown
random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "+")
@0: The bald eagle does not chase the dog.[(triple1)] The bald eagle does not eat the dog.[(triple2)] The bald eagle does not visit the dog.[(triple4)] The bald eagle is round.[(triple3)] The dog is young.[(triple5)] The dog visits the tiger.[(triple6)] The squirrel chases the dog.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel does not eat the bald eagle.[(triple9)] The squirrel eats the dog.[(triple10)] The squirrel is green.[(triple11)] The squirrel is not round.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger does not visit the squirrel.[(triple15)] The tiger is red.[(triple14)] @1: The dog is blue.[(((triple6) -> rule2))] @2: The dog is round.[(((((triple6) -> rule2)) -> rule1))]
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
triple1
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
triple2
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple5
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple6
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple8
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is not round.
("squirrel" "is" "round" "-")
triple12
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple13
The tiger does not visit the squirrel.
("tiger" "visits" "squirrel" "-")
triple15
The tiger is red.
("tiger" "is" "red" "+")
triple14
The dog is blue.
("dog" "is" "blue" "+")
((triple6) -> (rule2 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2