The bear chases the rabbit. The bear is kind. The bear does not see the cow. The bear sees the rabbit. The bear visits the rabbit. The cow sees the bear. The rabbit chases the cow. The rabbit sees the bear. The rabbit sees the cow. The rabbit visits the bear. If something visits the bear and the bear does not visit the rabbit then the bear visits the cow. If something visits the rabbit and it does not see the bear then the bear does not visit the cow. If something is rough then it is not kind. If something sees the rabbit and it does not chase the cow then the cow is not rough. If something visits the rabbit then the rabbit is cold. If the rabbit chases the cow and the rabbit visits the bear then the rabbit is blue.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear does not see the cow.
("bear" "sees" "cow" "-")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something visits the bear and the bear does not visit the rabbit then the bear visits the cow.
((("something" "visits" "bear" "+") ("bear" "visits" "rabbit" "~")) -> ("bear" "visits" "cow" "+"))
If something visits the rabbit and it does not see the bear then the bear does not visit the cow.
((("something" "visits" "rabbit" "+") ("something" "sees" "bear" "~")) -> ("bear" "visits" "cow" "-"))
If something is rough then it is not kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "-"))
If something sees the rabbit and it does not chase the cow then the cow is not rough.
((("something" "sees" "rabbit" "+") ("something" "chases" "cow" "~")) -> ("cow" "is" "rough" "-"))
If something visits the rabbit then the rabbit is cold.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "cold" "+"))
If the rabbit chases the cow and the rabbit visits the bear then the rabbit is blue.
((("rabbit" "chases" "cow" "+") ("rabbit" "visits" "bear" "+")) -> ("rabbit" "is" "blue" "+"))
The rabbit sees the cow.
True
1
proof
[(triple9)]
("rabbit" "sees" "cow" "+")
triple9
The rabbit does not chase the cow.
False
1
inv-proof
[(triple7)]
("rabbit" "chases" "cow" "-")
triple7
The rabbit is cold.
True
2
proof
[(((triple5) -> rule5))]
("rabbit" "is" "cold" "+")
((triple5) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is not cold.
False
2
inv-proof
[(((triple5) -> rule5))]
("rabbit" "is" "cold" "-")
((triple5) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The bear does not visit the cow.
Unknown
inv-rconc
[@1: The bear visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "cow" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bear chases the rabbit.[(triple1)] The bear does not see the cow.[(triple3)] The bear is kind.[(triple2)] The bear sees the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The cow sees the bear.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit sees the bear.[(triple8)] The rabbit sees the cow.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The rabbit is blue.[(((triple7 triple10) -> rule6))] The rabbit is cold.[(((triple5) -> rule5))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear does not see the cow.
("bear" "sees" "cow" "-")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple5
The cow sees the bear.
("cow" "sees" "bear" "+")
triple6
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple7
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple8
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple7 triple10) -> (rule6 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((triple5) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1