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