The bald eagle is nice. The dog sees the bald eagle. The lion sees the rabbit. The rabbit sees the bald eagle. Rough people are kind. If someone is nice then they are rough. All big people are nice. If someone chases the bald eagle then they are big. If someone is kind then they do not like the rabbit. If someone likes the rabbit then they do not see the lion. If someone is blue then they chase the lion. If someone is kind and they chase the dog then the dog does not like the lion.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the bald eagle then they are big.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they do not like the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "rabbit" "-"))
If someone likes the rabbit then they do not see the lion.
((("someone" "likes" "rabbit" "+")) -> ("someone" "sees" "lion" "-"))
If someone is blue then they chase the lion.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "lion" "+"))
If someone is kind and they chase the dog then the dog does not like the lion.
((("someone" "is" "kind" "+") ("someone" "chases" "dog" "+")) -> ("dog" "likes" "lion" "-"))
The dog sees the bald eagle.
True
1
proof
[(triple2)]
("dog" "sees" "bald eagle" "+")
triple2
The lion does not see the rabbit.
False
1
inv-proof
[(triple3)]
("lion" "sees" "rabbit" "-")
triple3
The bald eagle is rough.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "is" "rough" "-")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is kind.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("bald eagle" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is not kind.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("bald eagle" "is" "kind" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle does not like the rabbit.
True
4
proof
[(((((((triple1) -> rule2)) -> rule1)) -> rule5))]
("bald eagle" "likes" "rabbit" "-")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle likes the rabbit.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule1)) -> rule5))]
("bald eagle" "likes" "rabbit" "+")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The rabbit is not nice.
Unknown
inv-rconc
[@2: The rabbit is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("rabbit" "is" "nice" "-")
The lion is nice.
Unknown
rconc
[@2: The lion is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("lion" "is" "nice" "+")
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "big" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "big" "+")
The lion does not like the dog.
Unknown
inv-random
[@0: The lion likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "dog" "-")
The dog chases the bald eagle.
Unknown
random
[@0: The dog chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bald eagle" "+")
The lion does not chase the dog.
Unknown
inv-random
[@0: The lion chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "dog" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bald eagle is nice.[(triple1)] The dog sees the bald eagle.[(triple2)] The lion sees the rabbit.[(triple3)] The rabbit sees the bald eagle.[(triple4)] @1: The bald eagle is rough.[(((triple1) -> rule2))] @2: The bald eagle is kind.[(((((triple1) -> rule2)) -> rule1))] @3: The bald eagle does not like the rabbit.[(((((((triple1) -> rule2)) -> rule1)) -> rule5))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple2
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple3
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple1) -> (rule2 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3