The bald eagle is blue. The bald eagle needs the bear. The bear is red. The cow is blue. The cow is young. The cow needs the bald eagle. The tiger chases the cow. If someone needs the bald eagle then they are round. If the cow needs the tiger and the cow needs the bear then the tiger is blue. If someone needs the bald eagle then the bald eagle needs the tiger. All blue people are red. If someone is round then they visit the tiger. If someone is rough and they visit the cow then they are round. If someone visits the tiger then the tiger needs the bald eagle. If someone visits the bear then they chase the tiger. If the bald eagle visits the cow then the cow is round.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
If someone needs the bald eagle then they are round.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If the cow needs the tiger and the cow needs the bear then the tiger is blue.
((("cow" "needs" "tiger" "+") ("cow" "needs" "bear" "+")) -> ("tiger" "is" "blue" "+"))
If someone needs the bald eagle then the bald eagle needs the tiger.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "tiger" "+"))
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they visit the tiger.
((("someone" "is" "round" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is rough and they visit the cow then they are round.
((("someone" "is" "rough" "+") ("someone" "visits" "cow" "+")) -> ("someone" "is" "round" "+"))
If someone visits the tiger then the tiger needs the bald eagle.
((("someone" "visits" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If someone visits the bear then they chase the tiger.
((("someone" "visits" "bear" "+")) -> ("someone" "chases" "tiger" "+"))
If the bald eagle visits the cow then the cow is round.
((("bald eagle" "visits" "cow" "+")) -> ("cow" "is" "round" "+"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The tiger does not chase the cow.
False
1
inv-proof
[(triple7)]
("tiger" "chases" "cow" "-")
triple7
The cow is red.
True
2
proof
[(((triple4) -> rule4))]
("cow" "is" "red" "+")
((triple4) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple1) -> rule4))]
("bald eagle" "is" "red" "-")
((triple1) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The cow visits the tiger.
True
3
proof
[(((((triple6) -> rule1)) -> rule5))]
("cow" "visits" "tiger" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The cow does not visit the tiger.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule5))]
("cow" "visits" "tiger" "-")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The tiger needs the bald eagle.
True
4
proof
[(((((((triple6) -> rule1)) -> rule5)) -> rule7))]
("tiger" "needs" "bald eagle" "+")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The tiger does not need the bald eagle.
False
4
inv-proof
[(((((((triple6) -> rule1)) -> rule5)) -> rule7))]
("tiger" "needs" "bald eagle" "-")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The tiger is round.
True
5
proof
[(((((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule1))]
("tiger" "is" "round" "+")
((((((((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The tiger is not round.
False
5
inv-proof
[(((((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule1))]
("tiger" "is" "round" "-")
((((((((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The tiger visits the tiger.
True
6
proof
[(((((((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule1)) -> rule5))]
("tiger" "visits" "tiger" "+")
((((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int4
The cow is round.
("cow" "is" "round" "+")
int5
The tiger does not visit the tiger.
False
6
inv-proof
[(((((((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule1)) -> rule5))]
("tiger" "visits" "tiger" "-")
((((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int4
The cow is round.
("cow" "is" "round" "+")
int5
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "round" "-")
The tiger is blue.
Unknown
rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "blue" "+")
The bald eagle does not visit the tiger.
Unknown
inv-rconc
[@2: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("bald eagle" "visits" "tiger" "-")
The bald eagle chases the tiger.
Unknown
rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "chases" "tiger" "+")
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "round" "-")
The tiger chases the tiger.
Unknown
rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger does not need the bear.
Unknown
inv-random
[@0: The tiger needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bear" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The bear does not need the bald eagle.
Unknown
inv-random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The tiger chases the bear.
Unknown
random
[@0: The tiger chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bear" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the bear.[(triple2)] The bear is red.[(triple3)] The cow is blue.[(triple4)] The cow is young.[(triple5)] The cow needs the bald eagle.[(triple6)] The tiger chases the cow.[(triple7)] @1: The bald eagle is red.[(((triple1) -> rule4))] The bald eagle needs the tiger.[(((triple6) -> rule3) OR ((((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule3))] The cow is red.[(((triple4) -> rule4))] The cow is round.[(((triple6) -> rule1))] @2: The cow visits the tiger.[(((((triple6) -> rule1)) -> rule5))] @3: The tiger needs the bald eagle.[(((((((triple6) -> rule1)) -> rule5)) -> rule7))] @4: The tiger is round.[(((((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule1))] @5: The tiger visits the tiger.[(((((((((((triple6) -> rule1)) -> rule5)) -> rule7)) -> rule1)) -> rule5))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple7
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
((triple6) -> (rule3 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
((((((((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The cow is red.
("cow" "is" "red" "+")
((triple4) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple6) -> (rule1 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow visits the tiger.
("cow" "visits" "tiger" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
((((((((triple6) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((((((((((triple6) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
The cow visits the tiger.
("cow" "visits" "tiger" "+")
int4
The cow is round.
("cow" "is" "round" "+")
int5