The bald eagle likes the cat. The cat is young. The cow chases the bald eagle. Young people are kind. If someone is blue then they like the cow. If someone is kind then they eat the cat.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat is young.
("cat" "is" "young" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they like the cow.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "cow" "+"))
If someone is kind then they eat the cat.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "cat" "+"))
The cat is young.
True
1
proof
[(triple2)]
("cat" "is" "young" "+")
triple2
The cat is not young.
False
1
inv-proof
[(triple2)]
("cat" "is" "young" "-")
triple2
The cat is kind.
True
2
proof
[(((triple2) -> rule1))]
("cat" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is not kind.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "is" "kind" "-")
((triple2) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat eats the cat.
True
3
proof
[(((((triple2) -> rule1)) -> rule3))]
("cat" "eats" "cat" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not eat the cat.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule3))]
("cat" "eats" "cat" "-")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat does not like the cow.
Unknown
inv-rconc
[@1: The cat likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "cow" "-")
The cow likes the cow.
Unknown
rconc
[@1: The cow likes the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "cow" "+")
The cow does not eat the cat.
Unknown
inv-rconc
[@2: The cow eats the cat.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("cow" "eats" "cat" "-")
The bald eagle chases the cow.
Unknown
random
[@0: The bald eagle chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cow" "+")
The cat does not like the bald eagle.
Unknown
inv-random
[@0: The cat likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bald eagle" "-")
The cat is red.
Unknown
random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "+")
@0: The bald eagle likes the cat.[(triple1)] The cat is young.[(triple2)] The cow chases the bald eagle.[(triple3)] @1: The cat is kind.[(((triple2) -> rule1))] @2: The cat eats the cat.[(((((triple2) -> rule1)) -> rule3))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The cat is young.
("cat" "is" "young" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
((triple2) -> (rule1 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2