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