The rabbit is round. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the rabbit. The squirrel visits the rabbit. If the rabbit is rough and the rabbit likes the squirrel then the rabbit is cold. If the squirrel chases the rabbit then the rabbit is red.
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If the rabbit is rough and the rabbit likes the squirrel then the rabbit is cold.
((("rabbit" "is" "rough" "+") ("rabbit" "likes" "squirrel" "+")) -> ("rabbit" "is" "cold" "+"))
If the squirrel chases the rabbit then the rabbit is red.
((("squirrel" "chases" "rabbit" "+")) -> ("rabbit" "is" "red" "+"))
The rabbit visits the squirrel.
True
1
proof
[(triple3)]
("rabbit" "visits" "squirrel" "+")
triple3
The squirrel is not rough.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "rough" "-")
triple7
The rabbit is not cold.
Unknown
inv-rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The rabbit is round.[(triple1)] The rabbit likes the squirrel.[(triple2)] The rabbit visits the squirrel.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel is cold.[(triple5)] The squirrel is red.[(triple6)] The squirrel is rough.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the rabbit.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit is red.[(((triple4) -> rule2))]
The rabbit is round.
("rabbit" "is" "round" "+")
triple1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple2
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple4
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple5
The squirrel is red.
("squirrel" "is" "red" "+")
triple6
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
((triple4) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1