The bald eagle eats the cat. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle needs the tiger. The bald eagle visits the cat. The cat eats the tiger. The cat is rough. The cat is round. The cat needs the bald eagle. The tiger is kind. The tiger is rough. The tiger needs the bald eagle. The tiger needs the cat. The tiger visits the cat. If the bald eagle needs the tiger and the bald eagle eats the tiger then the bald eagle needs the cat. If the bald eagle is rough and the bald eagle eats the tiger then the tiger eats the bald eagle. If someone eats the tiger and they are kind then the tiger visits the cat. If someone needs the tiger then the tiger is kind. If someone visits the tiger then the tiger eats the cat. If someone eats the cat then the cat is blue. If the cat is blue then the cat eats the bald eagle. If someone eats the cat and the cat eats the bald eagle then the cat needs the tiger.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If the bald eagle needs the tiger and the bald eagle eats the tiger then the bald eagle needs the cat.
((("bald eagle" "needs" "tiger" "+") ("bald eagle" "eats" "tiger" "+")) -> ("bald eagle" "needs" "cat" "+"))
If the bald eagle is rough and the bald eagle eats the tiger then the tiger eats the bald eagle.
((("bald eagle" "is" "rough" "+") ("bald eagle" "eats" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If someone eats the tiger and they are kind then the tiger visits the cat.
((("someone" "eats" "tiger" "+") ("someone" "is" "kind" "+")) -> ("tiger" "visits" "cat" "+"))
If someone needs the tiger then the tiger is kind.
((("someone" "needs" "tiger" "+")) -> ("tiger" "is" "kind" "+"))
If someone visits the tiger then the tiger eats the cat.
((("someone" "visits" "tiger" "+")) -> ("tiger" "eats" "cat" "+"))
If someone eats the cat then the cat is blue.
((("someone" "eats" "cat" "+")) -> ("cat" "is" "blue" "+"))
If the cat is blue then the cat eats the bald eagle.
((("cat" "is" "blue" "+")) -> ("cat" "eats" "bald eagle" "+"))
If someone eats the cat and the cat eats the bald eagle then the cat needs the tiger.
((("someone" "eats" "cat" "+") ("cat" "eats" "bald eagle" "+")) -> ("cat" "needs" "tiger" "+"))
The bald eagle eats the cat.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cat" "+")
triple1
The tiger does not need the cat.
False
1
inv-proof
[(triple15)]
("tiger" "needs" "cat" "-")
triple15
The cat is blue.
True
2
proof
[(((triple1) -> rule6))]
("cat" "is" "blue" "+")
((triple1) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not blue.
False
2
inv-proof
[(((triple1) -> rule6))]
("cat" "is" "blue" "-")
((triple1) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat eats the bald eagle.
True
3
proof
[(((((triple1) -> rule6)) -> rule7))]
("cat" "eats" "bald eagle" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat does not eat the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule7))]
("cat" "eats" "bald eagle" "-")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat needs the tiger.
True
5
proof
[(((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule8))]
("cat" "needs" "tiger" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat does not need the tiger.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule8))]
("cat" "needs" "tiger" "-")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The bald eagle does not need the cat.
Unknown
inv-rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "cat" "-")
The tiger eats the cat.
Unknown
rconc
[@1: The tiger eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "eats" "cat" "+")
The tiger does not eat the bald eagle.
Unknown
inv-rconc
[@1: The tiger eats the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
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 tiger is round.
Unknown
random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle needs the tiger.[(triple6)] The bald eagle visits the cat.[(triple7)] The cat eats the tiger.[(triple8)] The cat is rough.[(triple9)] The cat is round.[(triple10)] The cat needs the bald eagle.[(triple11)] The tiger is kind.[(triple12 OR ((triple6) -> rule4) OR ((((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule8)) -> rule4))] The tiger is rough.[(triple13)] The tiger needs the bald eagle.[(triple14)] The tiger needs the cat.[(triple15)] The tiger visits the cat.[(triple16)] @1: The cat is blue.[(((triple1) -> rule6))] @2: The cat eats the bald eagle.[(((((triple1) -> rule6)) -> rule7))] @3: The cat needs the tiger.[(((triple1 ((((triple1) -> rule6)) -> rule7)) -> rule8))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple6
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple7
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple8
The cat is rough.
("cat" "is" "rough" "+")
triple9
The cat is round.
("cat" "is" "round" "+")
triple10
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
((triple6) -> (rule4 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple1 ((((triple1) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int3
The cat is blue.
("cat" "is" "blue" "+")
int4
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple16
The cat is blue.
("cat" "is" "blue" "+")
((triple1) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((((triple1) -> (rule6 % int2))) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3