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