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