The bear is kind. The bear visits the mouse. The cat chases the bear. The cat sees the bear. The cat visits the rabbit. The mouse chases the bear. The mouse chases the cat. The mouse sees the bear. The mouse visits the bear. The rabbit chases the cat. The rabbit sees the mouse. The rabbit visits the bear. If the mouse sees the rabbit and the rabbit chases the cat then the mouse is red. If someone is red and they see the bear then the bear visits the cat.
The bear is kind.
("bear" "is" "kind" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If the mouse sees the rabbit and the rabbit chases the cat then the mouse is red.
((("mouse" "sees" "rabbit" "+") ("rabbit" "chases" "cat" "+")) -> ("mouse" "is" "red" "+"))
If someone is red and they see the bear then the bear visits the cat.
((("someone" "is" "red" "+") ("someone" "sees" "bear" "+")) -> ("bear" "visits" "cat" "+"))
The rabbit sees the mouse.
True
1
proof
[(triple11)]
("rabbit" "sees" "mouse" "+")
triple11
The bear is not kind.
False
1
inv-proof
[(triple1)]
("bear" "is" "kind" "-")
triple1
The bear does not visit the cat.
Unknown
inv-rconc
[@2: The bear visits the cat.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bear" "visits" "cat" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The bear is kind.[(triple1)] The bear visits the mouse.[(triple2)] The cat chases the bear.[(triple3)] The cat sees the bear.[(triple4)] The cat visits the rabbit.[(triple5)] The mouse chases the bear.[(triple6)] The mouse chases the cat.[(triple7)] The mouse sees the bear.[(triple8)] The mouse visits the bear.[(triple9)] The rabbit chases the cat.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit visits the bear.[(triple12)]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple2
The cat chases the bear.
("cat" "chases" "bear" "+")
triple3
The cat sees the bear.
("cat" "sees" "bear" "+")
triple4
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple5
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple6
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple7
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple8
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple9
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple10
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12