The bald eagle chases the cat. The bear needs the cat. The cat needs the bear. The tiger is round. If something needs the bear then the bear visits the bald eagle. If something visits the bald eagle then the bald eagle is blue. If something is nice and it chases the bear then it is young. If something chases the tiger and the tiger does not need the bald eagle then it is young. If something is rough and it does not chase the bear then it needs the bear. If the bear does not visit the cat then the bear does not chase the tiger. If something chases the cat and it is blue then it is round. If something needs the bald eagle then the bald eagle is young.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The tiger is round.
("tiger" "is" "round" "+")
If something needs the bear then the bear visits the bald eagle.
((("something" "needs" "bear" "+")) -> ("bear" "visits" "bald eagle" "+"))
If something visits the bald eagle then the bald eagle is blue.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "blue" "+"))
If something is nice and it chases the bear then it is young.
((("something" "is" "nice" "+") ("something" "chases" "bear" "+")) -> ("something" "is" "young" "+"))
If something chases the tiger and the tiger does not need the bald eagle then it is young.
((("something" "chases" "tiger" "+") ("tiger" "needs" "bald eagle" "~")) -> ("something" "is" "young" "+"))
If something is rough and it does not chase the bear then it needs the bear.
((("something" "is" "rough" "+") ("something" "chases" "bear" "~")) -> ("something" "needs" "bear" "+"))
If the bear does not visit the cat then the bear does not chase the tiger.
((("bear" "visits" "cat" "~")) -> ("bear" "chases" "tiger" "-"))
If something chases the cat and it is blue then it is round.
((("something" "chases" "cat" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If something needs the bald eagle then the bald eagle is young.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
The tiger is round.
True
1
proof
[(triple4)]
("tiger" "is" "round" "+")
triple4
The cat does not need the bear.
False
1
inv-proof
[(triple3)]
("cat" "needs" "bear" "-")
triple3
The bear visits the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("bear" "visits" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bear does not visit the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("bear" "visits" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bald eagle is blue.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("bald eagle" "is" "blue" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bald eagle is not blue.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("bald eagle" "is" "blue" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bald eagle is round.
True
5
proof
[(((triple1 ((((triple3) -> rule1)) -> rule2)) -> rule7))]
("bald eagle" "is" "round" "+")
((triple1 ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The bald eagle is not round.
False
5
inv-proof
[(((triple1 ((((triple3) -> rule1)) -> rule2)) -> rule7))]
("bald eagle" "is" "round" "-")
((triple1 ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3
The tiger does not need the bear.
Unknown
inv-rconc
[@1: The tiger needs the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "needs" "bear" "-")
The cat is young.
Unknown
rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "young" "+")
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "round" "+")
The bald eagle does not chase the tiger.
Unknown
inv-random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "-")
The tiger chases the bear.
Unknown
random
[@0: The tiger chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bear" "+")
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 bald eagle needs the cat.
Unknown
random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bear needs the cat.[(triple2)] The cat needs the bear.[(triple3)] The tiger is round.[(triple4)] @1: The bear visits the bald eagle.[(((triple3) -> rule1))] @2: The bald eagle is blue.[(((((triple3) -> rule1)) -> rule2))] @3: The bald eagle is round.[(((triple1 ((((triple3) -> rule1)) -> rule2)) -> rule7))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
The cat needs the bear.
("cat" "needs" "bear" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1 ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int3