The bear chases the dog. The dog sees the mouse. The mouse visits the bear. If someone is blue and they see the bear then they are cold. If someone chases the dog then they visit the dog. If someone sees the dog then they see the bear. If someone is blue then they see the bear. If the bear is red then the bear is nice. All kind, blue people are red. If someone chases the bear then the bear sees the mouse. If someone is red then they see the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone is blue and they see the bear then they are cold.
((("someone" "is" "blue" "+") ("someone" "sees" "bear" "+")) -> ("someone" "is" "cold" "+"))
If someone chases the dog then they visit the dog.
((("someone" "chases" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If someone sees the dog then they see the bear.
((("someone" "sees" "dog" "+")) -> ("someone" "sees" "bear" "+"))
If someone is blue then they see the bear.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "bear" "+"))
If the bear is red then the bear is nice.
((("bear" "is" "red" "+")) -> ("bear" "is" "nice" "+"))
All kind, blue people are red.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone chases the bear then the bear sees the mouse.
((("someone" "chases" "bear" "+")) -> ("bear" "sees" "mouse" "+"))
If someone is red then they see the bear.
((("someone" "is" "red" "+")) -> ("someone" "sees" "bear" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The mouse does not visit the bear.
False
1
inv-proof
[(triple3)]
("mouse" "visits" "bear" "-")
triple3
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "red" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear chases the dog.[(triple1)] The dog sees the mouse.[(triple2)] The mouse visits the bear.[(triple3)] @1: The bear visits the dog.[(((triple1) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple2
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple1) -> (rule2 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1