The bear sees the rabbit. The dog chases the rabbit. The rabbit is nice. If someone sees the bear and the bear chases the rabbit then they are red. All nice people are red.
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If someone sees the bear and the bear chases the rabbit then they are red.
((("someone" "sees" "bear" "+") ("bear" "chases" "rabbit" "+")) -> ("someone" "is" "red" "+"))
All nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
The dog chases the rabbit.
True
1
proof
[(triple2)]
("dog" "chases" "rabbit" "+")
triple2
The rabbit is not nice.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "nice" "-")
triple3
The rabbit is red.
True
2
proof
[(((triple3) -> rule2))]
("rabbit" "is" "red" "+")
((triple3) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple3) -> rule2))]
("rabbit" "is" "red" "-")
((triple3) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The dog is not red.
Unknown
inv-rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "+")
The dog does not eat the bear.
Unknown
inv-random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "-")
The dog sees the bear.
Unknown
random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "+")
@0: The bear sees the rabbit.[(triple1)] The dog chases the rabbit.[(triple2)] The rabbit is nice.[(triple3)] @1: The rabbit is red.[(((triple3) -> rule2))]
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The rabbit is red.
("rabbit" "is" "red" "+")
((triple3) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1