The bald eagle is not green. The dog chases the squirrel. The dog is not round. The dog sees the bald eagle. The dog does not see the squirrel. The lion chases the bald eagle. The lion chases the dog. The squirrel chases the bald eagle. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If something is kind then it visits the bald eagle. If something chases the bald eagle then it is kind.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is not round.
("dog" "is" "round" "-")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
If something is kind then it visits the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
If something chases the bald eagle then it is kind.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "kind" "+"))
The dog sees the bald eagle.
True
1
proof
[(triple4)]
("dog" "sees" "bald eagle" "+")
triple4
The squirrel does not visit the bald eagle.
False
1
inv-proof
[(triple10 OR ((((triple8) -> rule2)) -> rule1))]
("squirrel" "visits" "bald eagle" "-")
triple10
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The squirrel is kind.
True
2
proof
[(((triple8) -> rule2))]
("squirrel" "is" "kind" "+")
((triple8) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The lion is not kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("lion" "is" "kind" "-")
((triple6) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion visits the bald eagle.
True
3
proof
[(((((triple6) -> rule2)) -> rule1))]
("lion" "visits" "bald eagle" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion does not visit the bald eagle.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule1))]
("lion" "visits" "bald eagle" "-")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle is kind.
Unknown
rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The dog does not visit the bald eagle.
Unknown
inv-rconc
[@2: The dog visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("dog" "visits" "bald eagle" "-")
The squirrel sees the lion.
Unknown
random
[@0: The squirrel sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "lion" "+")
The squirrel does not chase the lion.
Unknown
inv-random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "-")
The dog chases the bald eagle.
Unknown
random
[@0: The dog chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bald eagle" "+")
@0: The bald eagle is not green.[(triple1)] The dog chases the squirrel.[(triple2)] The dog does not see the squirrel.[(triple5)] The dog is not round.[(triple3)] The dog sees the bald eagle.[(triple4)] The lion chases the bald eagle.[(triple6)] The lion chases the dog.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel visits the bald eagle.[(triple10 OR ((((triple8) -> rule2)) -> rule1))] @1: The lion is kind.[(((triple6) -> rule2))] The squirrel is kind.[(((triple8) -> rule2))] @2: The lion visits the bald eagle.[(((((triple6) -> rule2)) -> rule1))]
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple2
The dog does not see the squirrel.
("dog" "sees" "squirrel" "-")
triple5
The dog is not round.
("dog" "is" "round" "-")
triple3
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple6
The lion chases the dog.
("lion" "chases" "dog" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple8
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple9
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple10
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple8) -> (rule2 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2