The cow sees the rabbit. The lion is rough. The lion likes the rabbit. The lion likes the squirrel. The lion does not see the cow. The lion sees the rabbit. The lion sees the squirrel. The lion visits the squirrel. The rabbit is not cold. The rabbit is round. The rabbit likes the cow. The rabbit likes the lion. The rabbit visits the cow. The squirrel likes the cow. The squirrel does not see the rabbit. If someone likes the lion then they are rough. If someone likes the squirrel then the squirrel does not visit the cow. If someone visits the lion then they are cold. If the lion likes the squirrel and the lion does not like the cow then the squirrel is not cold. If the cow visits the rabbit then the rabbit sees the cow. If someone is cold then they do not see the lion. If the cow likes the squirrel and the cow is not rough then the squirrel sees the rabbit. If someone visits the rabbit and they do not visit the cow then the cow visits the squirrel.
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion does not see the cow.
("lion" "sees" "cow" "-")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
If someone likes the lion then they are rough.
((("someone" "likes" "lion" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the squirrel then the squirrel does not visit the cow.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "visits" "cow" "-"))
If someone visits the lion then they are cold.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "cold" "+"))
If the lion likes the squirrel and the lion does not like the cow then the squirrel is not cold.
((("lion" "likes" "squirrel" "+") ("lion" "likes" "cow" "~")) -> ("squirrel" "is" "cold" "-"))
If the cow visits the rabbit then the rabbit sees the cow.
((("cow" "visits" "rabbit" "+")) -> ("rabbit" "sees" "cow" "+"))
If someone is cold then they do not see the lion.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "lion" "-"))
If the cow likes the squirrel and the cow is not rough then the squirrel sees the rabbit.
((("cow" "likes" "squirrel" "+") ("cow" "is" "rough" "~")) -> ("squirrel" "sees" "rabbit" "+"))
If someone visits the rabbit and they do not visit the cow then the cow visits the squirrel.
((("someone" "visits" "rabbit" "+") ("someone" "visits" "cow" "~")) -> ("cow" "visits" "squirrel" "+"))
The lion sees the squirrel.
True
1
proof
[(triple7)]
("lion" "sees" "squirrel" "+")
triple7
The squirrel does not like the cow.
False
1
inv-proof
[(triple14)]
("squirrel" "likes" "cow" "-")
triple14
The rabbit is rough.
True
2
proof
[(((triple12) -> rule1))]
("rabbit" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple12) -> rule1))]
("rabbit" "is" "rough" "-")
((triple12) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "cold" "-")
The cow visits the squirrel.
Unknown
rconc
[@1: The cow visits the squirrel.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "visits" "squirrel" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The cow sees the rabbit.[(triple1)] The lion does not see the cow.[(triple5)] The lion is rough.[(triple2)] The lion likes the rabbit.[(triple3)] The lion likes the squirrel.[(triple4)] The lion sees the rabbit.[(triple6)] The lion sees the squirrel.[(triple7)] The lion visits the squirrel.[(triple8)] The rabbit is not cold.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the cow.[(triple11)] The rabbit likes the lion.[(triple12)] The rabbit visits the cow.[(triple13)] The squirrel does not see the rabbit.[(triple15)] The squirrel likes the cow.[(triple14)] @1: The rabbit is rough.[(((triple12) -> rule1))] The squirrel does not visit the cow.[(((triple4) -> rule2))]
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple1
The lion does not see the cow.
("lion" "sees" "cow" "-")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple3
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple7
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple8
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple11
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple12
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple13
The squirrel does not see the rabbit.
("squirrel" "sees" "rabbit" "-")
triple15
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
((triple4) -> (rule2 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1