The bald eagle needs the squirrel. The cat needs the bald eagle. The dog chases the squirrel. The squirrel is cold. If something needs the bald eagle then it chases the bald eagle. If something is green and nice then it chases the squirrel. If something is young then it does not eat the bald eagle. If something chases the bald eagle then the bald eagle is green. If something needs the dog then it is not nice. If something is green then it does not need the dog.
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If something needs the bald eagle then it chases the bald eagle.
((("something" "needs" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is green and nice then it chases the squirrel.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "chases" "squirrel" "+"))
If something is young then it does not eat the bald eagle.
((("something" "is" "young" "+")) -> ("something" "eats" "bald eagle" "-"))
If something chases the bald eagle then the bald eagle is green.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "green" "+"))
If something needs the dog then it is not nice.
((("something" "needs" "dog" "+")) -> ("something" "is" "nice" "-"))
If something is green then it does not need the dog.
((("something" "is" "green" "+")) -> ("something" "needs" "dog" "-"))
The squirrel is cold.
True
1
proof
[(triple4)]
("squirrel" "is" "cold" "+")
triple4
The squirrel is not cold.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "cold" "-")
triple4
The cat chases the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("cat" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat does not chase the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "chases" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is green.
True
3
proof
[(((((triple2) -> rule1)) -> rule4))]
("bald eagle" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle is not green.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule4))]
("bald eagle" "is" "green" "-")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The bald eagle chases the squirrel.
Unknown
rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "squirrel" "+")
The cat does not chase the squirrel.
Unknown
inv-rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "squirrel" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The dog does not chase the cat.
Unknown
inv-random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
@0: The bald eagle needs the squirrel.[(triple1)] The cat needs the bald eagle.[(triple2)] The dog chases the squirrel.[(triple3)] The squirrel is cold.[(triple4)] @1: The cat chases the bald eagle.[(((triple2) -> rule1))] @2: The bald eagle is green.[(((((triple2) -> rule1)) -> rule4))] @3: The bald eagle does not need the dog.[(((((((triple2) -> rule1)) -> rule4)) -> rule6))]
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple3
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle does not need the dog.
("bald eagle" "needs" "dog" "-")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3