The bald eagle needs the dog. The dog eats the tiger. The dog is round. The dog needs the squirrel. The squirrel chases the tiger. The tiger eats the squirrel. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. The tiger needs the bald eagle. The tiger needs the dog. If something is round and it does not need the squirrel then it is not young. If something is big and it needs the bald eagle then the bald eagle chases the tiger. If something eats the squirrel then it eats the tiger. If the tiger chases the dog and the tiger needs the bald eagle then the bald eagle does not eat the dog. If something eats the tiger and it is kind then it chases the dog. If something chases the tiger and the tiger is big then it is red.
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If something is round and it does not need the squirrel then it is not young.
((("something" "is" "round" "+") ("something" "needs" "squirrel" "~")) -> ("something" "is" "young" "-"))
If something is big and it needs the bald eagle then the bald eagle chases the tiger.
((("something" "is" "big" "+") ("something" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If something eats the squirrel then it eats the tiger.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "tiger" "+"))
If the tiger chases the dog and the tiger needs the bald eagle then the bald eagle does not eat the dog.
((("tiger" "chases" "dog" "+") ("tiger" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "-"))
If something eats the tiger and it is kind then it chases the dog.
((("something" "eats" "tiger" "+") ("something" "is" "kind" "+")) -> ("something" "chases" "dog" "+"))
If something chases the tiger and the tiger is big then it is red.
((("something" "chases" "tiger" "+") ("tiger" "is" "big" "+")) -> ("something" "is" "red" "+"))
The tiger is young.
True
1
proof
[(triple10)]
("tiger" "is" "young" "+")
triple10
The tiger is not kind.
False
1
inv-proof
[(triple7)]
("tiger" "is" "kind" "-")
triple7
The tiger eats the tiger.
True
2
proof
[(((triple6) -> rule3))]
("tiger" "eats" "tiger" "+")
((triple6) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple6) -> rule3))]
("tiger" "eats" "tiger" "-")
((triple6) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the dog.
True
4
proof
[(((((triple6) -> rule3) triple7) -> rule5))]
("tiger" "chases" "dog" "+")
((((triple6) -> (rule3 % int2)) triple7) -> (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
4
inv-proof
[(((((triple6) -> rule3) triple7) -> rule5))]
("tiger" "chases" "dog" "-")
((((triple6) -> (rule3 % int2)) triple7) -> (rule5 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bald eagle does not eat the dog.
True
6
proof
[(((((((triple6) -> rule3) triple7) -> rule5) triple11) -> rule4))]
("bald eagle" "eats" "dog" "-")
((((((triple6) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The bald eagle eats the dog.
False
6
inv-proof
[(((((((triple6) -> rule3) triple7) -> rule5) triple11) -> rule4))]
("bald eagle" "eats" "dog" "+")
((((((triple6) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "red" "+")
The squirrel does not eat the tiger.
Unknown
inv-rconc
[@1: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "eats" "tiger" "-")
The squirrel chases the dog.
Unknown
rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "chases" "dog" "+")
The dog does not chase the bald eagle.
Unknown
inv-random
[@0: The dog chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bald eagle" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bald eagle needs the dog.[(triple1)] The dog eats the tiger.[(triple2)] The dog is round.[(triple3)] The dog needs the squirrel.[(triple4)] The squirrel chases the tiger.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger is kind.[(triple7)] The tiger is red.[(triple8)] The tiger is round.[(triple9)] The tiger is young.[(triple10)] The tiger needs the bald eagle.[(triple11)] The tiger needs the dog.[(triple12)] @1: The tiger eats the tiger.[(((triple6) -> rule3))] @2: The tiger chases the dog.[(((((triple6) -> rule3) triple7) -> rule5))] @3: The bald eagle does not eat the dog.[(((((((triple6) -> rule3) triple7) -> rule5) triple11) -> rule4))]
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple6
The tiger is kind.
("tiger" "is" "kind" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple9
The tiger is young.
("tiger" "is" "young" "+")
triple10
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple11
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple12
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple6) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
((((triple6) -> (rule3 % int2)) triple7) -> (rule5 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
((((((triple6) -> (rule3 % int3)) triple7) -> (rule5 % int2)) triple11) -> (rule4 % int1))
The bald eagle does not eat the dog.
("bald eagle" "eats" "dog" "-")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3