The rabbit chases the squirrel. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel likes the rabbit. The squirrel visits the rabbit. If someone visits the rabbit and the rabbit is rough then they chase the squirrel. If someone visits the squirrel then the squirrel likes the rabbit. If someone is young and they like the squirrel then they like the rabbit.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
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 big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone visits the rabbit and the rabbit is rough then they chase the squirrel.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone visits the squirrel then the squirrel likes the rabbit.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If someone is young and they like the squirrel then they like the rabbit.
((("someone" "is" "young" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "likes" "rabbit" "+"))
The squirrel chases the rabbit.
True
1
proof
[(triple4)]
("squirrel" "chases" "rabbit" "+")
triple4
The rabbit does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("rabbit" "chases" "squirrel" "-")
triple1
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit likes the squirrel.[(triple2)] The rabbit visits the squirrel.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel is big.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the rabbit.[(triple9 OR ((triple3) -> rule2))] The squirrel visits the rabbit.[(triple10)]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
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 big.
("squirrel" "is" "big" "+")
triple5
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple8
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple9
((triple3) -> (rule2 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10