The bear chases the rabbit. The bear is blue. The bear is red. The bear is young. The rabbit chases the bear. The rabbit is red. The rabbit is young. If someone chases the bear then the bear is green. If someone is nice then they see the bear. If someone chases the bear then they see the rabbit. If someone is blue and not nice then they do not like the bear. If the rabbit sees the bear then the rabbit likes the bear. If someone is green then they are red. If someone is young and not green then they chase the rabbit. If the rabbit sees the bear and the bear does not chase the rabbit then the bear does not see the rabbit.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If someone chases the bear then the bear is green.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "green" "+"))
If someone is nice then they see the bear.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "bear" "+"))
If someone chases the bear then they see the rabbit.
((("someone" "chases" "bear" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone is blue and not nice then they do not like the bear.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "~")) -> ("someone" "likes" "bear" "-"))
If the rabbit sees the bear then the rabbit likes the bear.
((("rabbit" "sees" "bear" "+")) -> ("rabbit" "likes" "bear" "+"))
If someone is green then they are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is young and not green then they chase the rabbit.
((("someone" "is" "young" "+") ("someone" "is" "green" "~")) -> ("someone" "chases" "rabbit" "+"))
If the rabbit sees the bear and the bear does not chase the rabbit then the bear does not see the rabbit.
((("rabbit" "sees" "bear" "+") ("bear" "chases" "rabbit" "~")) -> ("bear" "sees" "rabbit" "-"))
The bear is red.
True
1
proof
[(triple3 OR ((((triple5) -> rule1)) -> rule6))]
("bear" "is" "red" "+")
triple3
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is not blue.
False
1
inv-proof
[(triple2)]
("bear" "is" "blue" "-")
triple2
The rabbit does not see the bear.
Unknown
inv-rconc
[@1: The rabbit sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "bear" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is red.[(triple3 OR ((((triple5) -> rule1)) -> rule6))] The bear is young.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit is red.[(triple6)] The rabbit is young.[(triple7)] @1: The bear is green.[(((triple5) -> rule1))] The rabbit sees the rabbit.[(((triple5) -> rule3))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is young.
("bear" "is" "young" "+")
triple4
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple5
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The bear is green.
("bear" "is" "green" "+")
((triple5) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple5) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1