The bear is young. The cow sees the bear. The dog is kind. The tiger visits the bear. If something visits the bear then it is cold. If something visits the bear and the bear does not visit the cow then it eats the cow.
The bear is young.
("bear" "is" "young" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The dog is kind.
("dog" "is" "kind" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something visits the bear then it is cold.
((("something" "visits" "bear" "+")) -> ("something" "is" "cold" "+"))
If something visits the bear and the bear does not visit the cow then it eats the cow.
((("something" "visits" "bear" "+") ("bear" "visits" "cow" "~")) -> ("something" "eats" "cow" "+"))
The dog is kind.
True
1
proof
[(triple3)]
("dog" "is" "kind" "+")
triple3
The cow does not see the bear.
False
1
inv-proof
[(triple2)]
("cow" "sees" "bear" "-")
triple2
The tiger is cold.
True
2
proof
[(((triple4) -> rule1))]
("tiger" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("tiger" "is" "cold" "-")
((triple4) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "cold" "-")
The cow is cold.
Unknown
rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "cold" "+")
The bear does not visit the tiger.
Unknown
inv-random
[@0: The bear visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "tiger" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear is young.[(triple1)] The cow sees the bear.[(triple2)] The dog is kind.[(triple3)] The tiger visits the bear.[(triple4)] @1: The tiger is cold.[(((triple4) -> rule1))]
The bear is young.
("bear" "is" "young" "+")
triple1
The cow sees the bear.
("cow" "sees" "bear" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple4
The tiger is cold.
("tiger" "is" "cold" "+")
((triple4) -> (rule1 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1