The bear chases the mouse. The bear eats the mouse. The bear is cold. The bear is kind. The bear sees the mouse. The mouse chases the rabbit. The mouse is young. The rabbit chases the bear. The rabbit chases the mouse. The rabbit eats the bear. The rabbit eats the mouse. The rabbit is green. The rabbit is round. The rabbit is young. The rabbit sees the bear. The rabbit sees the mouse. If the bear sees the mouse and the mouse chases the bear then the mouse chases the rabbit. If something is cold then it sees the rabbit.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is young.
("mouse" "is" "young" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If the bear sees the mouse and the mouse chases the bear then the mouse chases the rabbit.
((("bear" "sees" "mouse" "+") ("mouse" "chases" "bear" "+")) -> ("mouse" "chases" "rabbit" "+"))
If something is cold then it sees the rabbit.
((("something" "is" "cold" "+")) -> ("something" "sees" "rabbit" "+"))
The rabbit is green.
True
1
proof
[(triple12)]
("rabbit" "is" "green" "+")
triple12
The rabbit does not chase the mouse.
False
1
inv-proof
[(triple9)]
("rabbit" "chases" "mouse" "-")
triple9
The bear sees the rabbit.
True
2
proof
[(((triple3) -> rule2))]
("bear" "sees" "rabbit" "+")
((triple3) -> (rule2 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The bear does not see the rabbit.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "sees" "rabbit" "-")
((triple3) -> (rule2 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The mouse does not see the rabbit.
Unknown
inv-rconc
[@1: The mouse sees the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The mouse sees the bear.
Unknown
random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The bear eats the mouse.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear sees the mouse.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse is young.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is green.[(triple12)] The rabbit is round.[(triple13)] The rabbit is young.[(triple14)] The rabbit sees the bear.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bear sees the rabbit.[(((triple3) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple8
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple9
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple11
The rabbit is green.
("rabbit" "is" "green" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple15
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple16
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((triple3) -> (rule2 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1