The bald eagle likes the squirrel. The dog sees the squirrel. The rabbit sees the bald eagle. The squirrel sees the rabbit. If someone is green then they see the dog. If the squirrel does not see the bald eagle and the bald eagle does not chase the rabbit then the squirrel is nice. If someone sees the dog and the dog sees the squirrel then they are nice. All nice people are kind. If the rabbit likes the bald eagle and the bald eagle is not young then the bald eagle is kind. If someone sees the squirrel then the squirrel is not kind.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone is green then they see the dog.
((("someone" "is" "green" "+")) -> ("someone" "sees" "dog" "+"))
If the squirrel does not see the bald eagle and the bald eagle does not chase the rabbit then the squirrel is nice.
((("squirrel" "sees" "bald eagle" "~") ("bald eagle" "chases" "rabbit" "~")) -> ("squirrel" "is" "nice" "+"))
If someone sees the dog and the dog sees the squirrel then they are nice.
((("someone" "sees" "dog" "+") ("dog" "sees" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
All nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If the rabbit likes the bald eagle and the bald eagle is not young then the bald eagle is kind.
((("rabbit" "likes" "bald eagle" "+") ("bald eagle" "is" "young" "~")) -> ("bald eagle" "is" "kind" "+"))
If someone sees the squirrel then the squirrel is not kind.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "is" "kind" "-"))
The rabbit sees the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "sees" "bald eagle" "+")
triple3
The dog does not see the squirrel.
False
1
inv-proof
[(triple2)]
("dog" "sees" "squirrel" "-")
triple2
The squirrel is not kind.
True
2
proof
[(((triple2) -> rule6))]
("squirrel" "is" "kind" "-")
((triple2) -> (rule6 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The squirrel is kind.
False
2
inv-proof
[(((triple2) -> rule6))]
("squirrel" "is" "kind" "+")
((triple2) -> (rule6 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1
The bald eagle is not nice.
Unknown
inv-rconc
[@2: The bald eagle is nice.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is kind.
Unknown
rconc
[@3: The bald eagle is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule1 <- FAIL)]]
("bald eagle" "is" "kind" "+")
The bald eagle does not chase the squirrel.
Unknown
inv-random
[@0: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The rabbit likes the bald eagle.
Unknown
random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The dog sees the squirrel.[(triple2)] The rabbit sees the bald eagle.[(triple3)] The squirrel sees the rabbit.[(triple4)] @1: The squirrel is not kind.[(((triple2) -> rule6))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple3
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple4
The squirrel is not kind.
("squirrel" "is" "kind" "-")
((triple2) -> (rule6 % int1))
The squirrel is not kind.
("squirrel" "is" "kind" "-")
int1