The bear is green. The bear is kind. The bear is red. The bear is rough. The bear needs the rabbit. The bear sees the rabbit. The bear visits the rabbit. The mouse is red. The mouse needs the bear. The mouse sees the bear. The mouse visits the bear. The mouse visits the rabbit. The rabbit needs the bear. The rabbit sees the bear. The rabbit visits the bear. If someone needs the bear then they are cold.
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone needs the bear then they are cold.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "cold" "+"))
The bear is red.
True
1
proof
[(triple3)]
("bear" "is" "red" "+")
triple3
The rabbit does not see the bear.
False
1
inv-proof
[(triple14)]
("rabbit" "sees" "bear" "-")
triple14
The mouse is cold.
True
2
proof
[(((triple9) -> rule1))]
("mouse" "is" "cold" "+")
((triple9) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The rabbit is not cold.
False
2
inv-proof
[(((triple13) -> rule1))]
("rabbit" "is" "cold" "-")
((triple13) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "cold" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear is green.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear needs the rabbit.[(triple5)] The bear sees the rabbit.[(triple6)] The bear visits the rabbit.[(triple7)] The mouse is red.[(triple8)] The mouse needs the bear.[(triple9)] The mouse sees the bear.[(triple10)] The mouse visits the bear.[(triple11)] The mouse visits the rabbit.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The mouse is cold.[(((triple9) -> rule1))] The rabbit is cold.[(((triple13) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple6
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple9
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple10
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple11
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple12
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple13
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple14
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple15
The mouse is cold.
("mouse" "is" "cold" "+")
((triple9) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple13) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1