The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit needs the squirrel. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel is kind. The squirrel needs the rabbit. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone sees the rabbit then the rabbit needs the squirrel. If someone sees the squirrel and the squirrel needs the rabbit then they are blue.
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone sees the rabbit then the rabbit needs the squirrel.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If someone sees the squirrel and the squirrel needs the rabbit then they are blue.
((("someone" "sees" "squirrel" "+") ("squirrel" "needs" "rabbit" "+")) -> ("someone" "is" "blue" "+"))
The rabbit visits the squirrel.
True
1
proof
[(triple8)]
("rabbit" "visits" "squirrel" "+")
triple8
The rabbit is not round.
False
1
inv-proof
[(triple5)]
("rabbit" "is" "round" "-")
triple5
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple7 triple10) -> rule2))] The rabbit is kind.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit needs the squirrel.[(triple6 OR ((triple11) -> rule1))] The rabbit sees the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel is kind.[(triple9)] The squirrel needs the rabbit.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)]
The rabbit is big.
("rabbit" "is" "big" "+")
triple1
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
((triple7 triple10) -> (rule2 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple6
((triple11) -> (rule1 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple7
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple10
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple11
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple12