The bald eagle does not chase the dog. The bald eagle chases the rabbit. The bald eagle does not chase the squirrel. The dog needs the squirrel. The rabbit needs the bald eagle. The squirrel is cold. The squirrel is young. If something chases the bald eagle then it needs the squirrel. If something chases the dog then it does not see the squirrel. If something needs the squirrel then it sees the squirrel. If something chases the bald eagle then the bald eagle chases the dog. If something sees the squirrel then it sees the dog. If something needs the squirrel then it sees the rabbit. If something needs the dog then it chases the bald eagle. If something chases the squirrel and it chases the bald eagle then the squirrel chases the bald eagle.
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If something chases the bald eagle then it needs the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("something" "needs" "squirrel" "+"))
If something chases the dog then it does not see the squirrel.
((("something" "chases" "dog" "+")) -> ("something" "sees" "squirrel" "-"))
If something needs the squirrel then it sees the squirrel.
((("something" "needs" "squirrel" "+")) -> ("something" "sees" "squirrel" "+"))
If something chases the bald eagle then the bald eagle chases the dog.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "dog" "+"))
If something sees the squirrel then it sees the dog.
((("something" "sees" "squirrel" "+")) -> ("something" "sees" "dog" "+"))
If something needs the squirrel then it sees the rabbit.
((("something" "needs" "squirrel" "+")) -> ("something" "sees" "rabbit" "+"))
If something needs the dog then it chases the bald eagle.
((("something" "needs" "dog" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the squirrel and it chases the bald eagle then the squirrel chases the bald eagle.
((("something" "chases" "squirrel" "+") ("something" "chases" "bald eagle" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
The squirrel is young.
True
1
proof
[(triple7)]
("squirrel" "is" "young" "+")
triple7
The rabbit does not need the bald eagle.
False
1
inv-proof
[(triple5)]
("rabbit" "needs" "bald eagle" "-")
triple5
The dog sees the squirrel.
True
2
proof
[(((triple4) -> rule3))]
("dog" "sees" "squirrel" "+")
((triple4) -> (rule3 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog does not see the rabbit.
False
2
inv-proof
[(((triple4) -> rule6))]
("dog" "sees" "rabbit" "-")
((triple4) -> (rule6 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog sees the dog.
True
3
proof
[(((((triple4) -> rule3)) -> rule5))]
("dog" "sees" "dog" "+")
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The dog does not see the dog.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule5))]
("dog" "sees" "dog" "-")
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The rabbit sees the dog.
Unknown
rconc
[@4: The rabbit sees the dog.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule1 <- rule7 <- FAIL)]]
("rabbit" "sees" "dog" "+")
The squirrel does not see the rabbit.
Unknown
inv-rconc
[@3: The squirrel sees the rabbit.[CWA. Example of deepest failure = (rule6 <- rule1 <- rule7 <- FAIL)]]
("squirrel" "sees" "rabbit" "-")
The squirrel chases the rabbit.
Unknown
random
[@0: The squirrel chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "rabbit" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The bald eagle chases the rabbit.[(triple2)] The bald eagle does not chase the dog.[(triple1)] The bald eagle does not chase the squirrel.[(triple3)] The dog needs the squirrel.[(triple4)] The rabbit needs the bald eagle.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is young.[(triple7)] @1: The dog sees the rabbit.[(((triple4) -> rule6))] The dog sees the squirrel.[(((triple4) -> rule3))] @2: The dog sees the dog.[(((((triple4) -> rule3)) -> rule5))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
triple1
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple3
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple4
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple6
The squirrel is young.
("squirrel" "is" "young" "+")
triple7
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
((triple4) -> (rule6 % int1))
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
((triple4) -> (rule3 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2