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