The bear is nice. The bear visits the rabbit. The cow sees the rabbit. The cow visits the rabbit. The mouse chases the cow. The mouse is not blue. The mouse is not kind. The mouse is nice. The mouse visits the rabbit. The rabbit chases the cow. The rabbit chases the mouse. The rabbit is kind. The rabbit sees the cow. The rabbit sees the mouse. The rabbit visits the cow. If someone sees the mouse and the mouse chases the bear then the bear visits the rabbit. If someone visits the bear then the bear is blue. If someone sees the cow then they are not nice. If someone is kind and they chase the rabbit then the rabbit chases the cow. If the rabbit is not red then the rabbit is not kind. If someone chases the cow then the cow sees the bear.
The bear is nice.
("bear" "is" "nice" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
If someone sees the mouse and the mouse chases the bear then the bear visits the rabbit.
((("someone" "sees" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("bear" "visits" "rabbit" "+"))
If someone visits the bear then the bear is blue.
((("someone" "visits" "bear" "+")) -> ("bear" "is" "blue" "+"))
If someone sees the cow then they are not nice.
((("someone" "sees" "cow" "+")) -> ("someone" "is" "nice" "-"))
If someone is kind and they chase the rabbit then the rabbit chases the cow.
((("someone" "is" "kind" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If the rabbit is not red then the rabbit is not kind.
((("rabbit" "is" "red" "~")) -> ("rabbit" "is" "kind" "-"))
If someone chases the cow then the cow sees the bear.
((("someone" "chases" "cow" "+")) -> ("cow" "sees" "bear" "+"))
The mouse is not blue.
True
1
proof
[(triple6)]
("mouse" "is" "blue" "-")
triple6
The rabbit does not visit the cow.
False
1
inv-proof
[(triple15)]
("rabbit" "visits" "cow" "-")
triple15
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "blue" "-")
The bear chases the mouse.
Unknown
random
[@0: The bear chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "mouse" "+")
@0: The bear is nice.[(triple1)] The bear visits the rabbit.[(triple2)] The cow sees the rabbit.[(triple3)] The cow visits the rabbit.[(triple4)] The mouse chases the cow.[(triple5)] The mouse is nice.[(triple8)] The mouse is not blue.[(triple6)] The mouse is not kind.[(triple7)] The mouse visits the rabbit.[(triple9)] The rabbit chases the cow.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is kind.[(triple12)] The rabbit sees the cow.[(triple13)] The rabbit sees the mouse.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The cow sees the bear.[(((triple10) -> rule6) OR ((triple5) -> rule6))] The rabbit is not nice.[(((triple13) -> rule3))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple2
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple4
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is not blue.
("mouse" "is" "blue" "-")
triple6
The mouse is not kind.
("mouse" "is" "kind" "-")
triple7
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple9
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple10
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple13
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
The cow sees the bear.
("cow" "sees" "bear" "+")
((triple10) -> (rule6 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
((triple5) -> (rule6 % int1))
The cow sees the bear.
("cow" "sees" "bear" "+")
int1
The rabbit is not nice.
("rabbit" "is" "nice" "-")
((triple13) -> (rule3 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1