The bald eagle chases the rabbit. The bald eagle is young. The bald eagle does not like the cat. The bald eagle needs the cat. The bald eagle does not need the rabbit. The cat is blue. The cat is nice. The cat is young. The cat likes the bald eagle. The rabbit is not round. If something likes the bald eagle then it chases the rabbit. If something chases the rabbit then the rabbit likes the bald eagle. If something chases the rabbit then the rabbit chases the cat. If the bald eagle chases the cat then the bald eagle does not like the cat. If something is nice then it chases the cat. If the rabbit needs the cat and the rabbit does not like the bald eagle then the bald eagle is blue.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The rabbit is not round.
("rabbit" "is" "round" "-")
If something likes the bald eagle then it chases the rabbit.
((("something" "likes" "bald eagle" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit then the rabbit likes the bald eagle.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If something chases the rabbit then the rabbit chases the cat.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "chases" "cat" "+"))
If the bald eagle chases the cat then the bald eagle does not like the cat.
((("bald eagle" "chases" "cat" "+")) -> ("bald eagle" "likes" "cat" "-"))
If something is nice then it chases the cat.
((("something" "is" "nice" "+")) -> ("something" "chases" "cat" "+"))
If the rabbit needs the cat and the rabbit does not like the bald eagle then the bald eagle is blue.
((("rabbit" "needs" "cat" "+") ("rabbit" "likes" "bald eagle" "~")) -> ("bald eagle" "is" "blue" "+"))
The bald eagle does not like the cat.
True
1
proof
[(triple3)]
("bald eagle" "likes" "cat" "-")
triple3
The cat is not nice.
False
1
inv-proof
[(triple7)]
("cat" "is" "nice" "-")
triple7
The cat chases the cat.
True
2
proof
[(((triple7) -> rule5))]
("cat" "chases" "cat" "+")
((triple7) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple7) -> rule5))]
("cat" "chases" "cat" "-")
((triple7) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The rabbit chases the rabbit.
True
3
proof
[(((((triple1) -> rule2)) -> rule1) OR ((((((triple9) -> rule1)) -> rule2)) -> rule1))]
("rabbit" "chases" "rabbit" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int3
The rabbit does not chase the rabbit.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1) OR ((((((triple9) -> rule1)) -> rule2)) -> rule1))]
("rabbit" "chases" "rabbit" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int3
The bald eagle does not chase the cat.
Unknown
inv-rconc
[@1: The bald eagle chases the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "chases" "cat" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
The rabbit does not like the cat.
Unknown
inv-random
[@0: The rabbit likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cat" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle does not like the cat.[(triple3)] The bald eagle does not need the rabbit.[(triple5)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple4)] The cat is blue.[(triple6)] The cat is nice.[(triple7)] The cat is young.[(triple8)] The cat likes the bald eagle.[(triple9)] The rabbit is not round.[(triple10)] @1: The cat chases the cat.[(((triple7) -> rule5))] The cat chases the rabbit.[(((triple9) -> rule1))] The rabbit chases the cat.[(((triple1) -> rule3) OR ((((triple9) -> rule1)) -> rule3) OR ((((((triple1) -> rule2)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule1)) -> rule2)) -> rule1)) -> rule3))] The rabbit likes the bald eagle.[(((triple1) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] @2: The rabbit chases the rabbit.[(((((triple1) -> rule2)) -> rule1) OR ((((((triple9) -> rule1)) -> rule2)) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle does not like the cat.
("bald eagle" "likes" "cat" "-")
triple3
The bald eagle does not need the rabbit.
("bald eagle" "needs" "rabbit" "-")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat is young.
("cat" "is" "young" "+")
triple8
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple9
The rabbit is not round.
("rabbit" "is" "round" "-")
triple10
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple7) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
((triple9) -> (rule1 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
((triple1) -> (rule3 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
((((((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int3
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int4
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple1) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int3