The bald eagle likes the dog. The dog is round. The lion sees the dog. The rabbit is round. If someone visits the lion then they are kind. All round people are kind.
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog is round.
("dog" "is" "round" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone visits the lion then they are kind.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "kind" "+"))
All round people are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
The dog is round.
True
1
proof
[(triple2)]
("dog" "is" "round" "+")
triple2
The lion does not see the dog.
False
1
inv-proof
[(triple3)]
("lion" "sees" "dog" "-")
triple3
The dog is kind.
True
2
proof
[(((triple2) -> rule2))]
("dog" "is" "kind" "+")
((triple2) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple4) -> rule2))]
("rabbit" "is" "kind" "-")
((triple4) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The lion is kind.
Unknown
rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "kind" "+")
The rabbit does not see the dog.
Unknown
inv-random
[@0: The rabbit sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "dog" "-")
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 dog.[(triple1)] The dog is round.[(triple2)] The lion sees the dog.[(triple3)] The rabbit is round.[(triple4)] @1: The dog is kind.[(((triple2) -> rule2))] The rabbit is kind.[(((triple4) -> rule2))]
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The lion sees the dog.
("lion" "sees" "dog" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
((triple2) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple4) -> (rule2 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1