The bald eagle is green. The dog likes the squirrel. The dog needs the bald eagle. The squirrel chases the dog. The squirrel is nice. The squirrel is rough. The squirrel likes the dog. If someone is rough then they chase the dog. If someone likes the squirrel then they are rough. If someone chases the dog then they like the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
If someone is rough then they chase the dog.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "dog" "+"))
If someone likes the squirrel then they are rough.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone chases the dog then they like the bald eagle.
((("someone" "chases" "dog" "+")) -> ("someone" "likes" "bald eagle" "+"))
The squirrel likes the dog.
True
1
proof
[(triple7)]
("squirrel" "likes" "dog" "+")
triple7
The dog does not like the squirrel.
False
1
inv-proof
[(triple2)]
("dog" "likes" "squirrel" "-")
triple2
The squirrel likes the bald eagle.
True
2
proof
[(((triple4) -> rule3) OR ((((triple6) -> rule1)) -> rule3))]
("squirrel" "likes" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The dog is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "is" "rough" "-")
((triple2) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog chases the dog.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("dog" "chases" "dog" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog does not chase the dog.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("dog" "chases" "dog" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog likes the bald eagle.
True
4
proof
[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]
("dog" "likes" "bald eagle" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog does not like the bald eagle.
False
4
inv-proof
[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]
("dog" "likes" "bald eagle" "-")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@3: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@2: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bald eagle is green.[(triple1)] The dog likes the squirrel.[(triple2)] The dog needs the bald eagle.[(triple3)] The squirrel chases the dog.[(triple4 OR ((triple6) -> rule1))] The squirrel is nice.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The dog is rough.[(((triple2) -> rule2))] The squirrel likes the bald eagle.[(((triple4) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] @2: The dog chases the dog.[(((((triple2) -> rule2)) -> rule1))] @3: The dog likes the bald eagle.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple3
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple4
((triple6) -> (rule1 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple5
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple6
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
The dog is rough.
("dog" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3