The bear visits the rabbit. The rabbit likes the squirrel. The squirrel visits the bear. If something is cold then it is rough. If something likes the squirrel then the squirrel needs the rabbit. If something is nice then it is cold. If something visits the bear and the bear is rough then it visits the squirrel. If something likes the bear then it is cold. If something is kind and it likes the rabbit then the rabbit needs the bear.
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something likes the squirrel then the squirrel needs the rabbit.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "needs" "rabbit" "+"))
If something is nice then it is cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something visits the bear and the bear is rough then it visits the squirrel.
((("something" "visits" "bear" "+") ("bear" "is" "rough" "+")) -> ("something" "visits" "squirrel" "+"))
If something likes the bear then it is cold.
((("something" "likes" "bear" "+")) -> ("something" "is" "cold" "+"))
If something is kind and it likes the rabbit then the rabbit needs the bear.
((("something" "is" "kind" "+") ("something" "likes" "rabbit" "+")) -> ("rabbit" "needs" "bear" "+"))
The rabbit likes the squirrel.
True
1
proof
[(triple2)]
("rabbit" "likes" "squirrel" "+")
triple2
The squirrel does not visit the bear.
False
1
inv-proof
[(triple3)]
("squirrel" "visits" "bear" "-")
triple3
The rabbit is not rough.
Unknown
inv-rconc
[@2: The rabbit is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("rabbit" "is" "rough" "-")
The bear needs the rabbit.
Unknown
random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "+")
@0: The bear visits the rabbit.[(triple1)] The rabbit likes the squirrel.[(triple2)] The squirrel visits the bear.[(triple3)] @1: The squirrel needs the rabbit.[(((triple2) -> rule2))]
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple3
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
((triple2) -> (rule2 % int1))
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
int1